Popplestone, R.J.

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.

POP-1: an on-line language


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

Beth-tree methods in automatic theorem-proving


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