QLOG

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