Frolic

A Prolog system in Common Lisp.

ftp://ftp.cs.utah.edu/pub/frolic.tar.Z.