Relational Programming

In this paper we have shown how it is possible to use certain combinators onrelations to produce an interpretation of a class of clauses (Horn Clauses) inpredicate logic. The work was inspired by a particular view of the task of writingcertain kinds of program, but has not yet given rise to a system implementedon a digital computer, although some initial studies have been made.Hayes, J.E., D. Michie, and L. I. Mikulich (Eds.), Machine Intelligence 9, Ellis Horwood.