cl-gambol
-
The GAMBOL package is a trivially modified extraction of the logic
programming portion of the Frolic system written at the University of
Utah.
I have made a few changes to get it to compile under a modern
Common Lisp, in addition to a few style changes that don't alter any
functionality.