A version of Prolog implemented in Lisp which allows Prolog programs to call Lisp and vice versa.
["QLOG - The Programming Environment for Prolog in LISP", H.J. Komorowski in Logic Prgramming, K.L. Clark et al eds, Academic Press 1982].