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