Gambol
Gambol provides basic prolog-like functionality for Common Lisp.

Gambol is a modification of the Frolic system available at the CMU AI Repository, wrapped up in ASDF. A full list of the modifications can be found at the library web site.

ASDF-install package (obsolete) http://cl-gambol.googlecode.com/files/gambol-0.03.tar.gz