Frolic
A
Prolog
system in
Common Lisp
.
FTP
(23 Nov 1991)