Popplestone, R.J.


Relational Programming

Classics

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.


Beth-tree methods in automatic theorem-proving

Classics

In Collins, N.L. and Donald Michie (Eds.), Machine Intelligence 1. Oliver Boyd.


POP-1: an on-line language

Classics

In Dale, Ella and Donald Michie (Eds.), Machine Intelligence 2. Edinburgh University Press.