A version of Prolog implemented by Robinson in Lisp which allows Prolog programs to call Lisp and vice versa.