QLOG

An integration of logic programming into LISP.

"QLOG - The Programming Environment for Prolog in LISP", H. J. Komorowski in Logic Programming, K. L. Clark et al eds, Academic Press, 1982.