LOGLISP

from The Free On-line Dictionary of Computing (8 July 2008)
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].
    

[email protected]