LOGLISP
A version of {Prolog} implemented by Robinson in {Lisp} which
allows Prolog programs to call Lisp and vice versa.
["LOGLISP: An Alternative to Prolog", J. Alan Robinson et al
in Machine Intelligence 10, D. Michie ed, Ellis Horwood 1982].