Translating relational programs into PROLOG

The binary relation algebra has operators that correspond to wellknown programming constructs. As a result, it is to possible base useful programming languages on it. An earlier paper by the author described such a language. Since Prolog predicates define relations between variables, Prolog is often considered to be a relational language. In fact, there are several straight-forward translations from relation algebra expressions to Prolog rules. This paper explores this idea in depth, showing how relation algebra can be translated into Prolog.