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].