Baroque - Boyer & Moore, 1972. Early logic programming language.
"Computational Logic: Structure Sharing and Proof of program Properties",
J. Moore, DCL Memo 67, U Edinburgh 1974.
Baroque Programming Language
http://www.programming-languages.co.uk/baroque.html
Large list of computer programming languages arranged alphabetically, with explanations.