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