Baroque

Boyer & Moore, 1972

An early logic programming language.

"Computational Logic: Structure Sharing and Proof of program Properties", J. Moore, DCL Memo 67, University of Edinburgh, 1974.