LOGLISP

Robertson & Sibert, Syracuse 1980

A Prolog-like language called LOGIC, embedded in LISP.

"LOGLISP: An Alternative to Prolog", J. Alan Robinson et al in Machine Intelligence 10, D. Michie ed, Ellis Horwood, 1982.