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.