Not enough data to create a plot.
Try a different view from the menu above.
Popplestone, R.J.
Relational Programming
Popplestone, R.J.
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.
POP-1: an on-line language
Popplestone, R.J.
In Dale, Ella and Donald Michie (Eds.), Machine Intelligence 2. Edinburgh University Press.