[comp.lang.lisp] Looking for SLD

mayer@rocksanne.uucp (Jim Mayer) (07/12/90)

I'm looking for an efficient (preferably compilable) embedding of a SLD
(Prolog like) resolution engine in Common Lisp.  Strict conformance to
Prolog is not a requirement.  Source availability is a requirement.

I'll forward a summary to the net.
--
-- Jim Mayer
                                        Xerox Webster Research Center
Phone: (716) 422-9407  FAX: x2126       800 Phillips Road, 0128-29E
Internet: mayer.wbst128@xerox.com       Webster, New York 14580