QLOG

QLOG

A version of Prolog implemented in Lisp which allowsProlog 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].