Hi there, does anyone know if there exists a free (public domain?) COMMON LISP (preferably Allegro CL) implementation of Prolog, or a subset of Prolog? I would really appreciate any information about such implementation. Thanks. Krys Kochut University of Georgia kochut@csun1.cs.uga.edu