Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uwm.edu!cs.utexas.edu!rutgers!rochester!spot!mayer
From: mayer@rocksanne.uucp (Jim Mayer)
Newsgroups: comp.lang.lisp
Subject: Looking for SLD (Prolog like) inference engine embedding in Common Lisp
Message-ID: <441@spot.wbst128.xerox.com>
Date: 12 Jul 90 10:53:19 GMT
Sender: news@spot.wbst128.xerox.com
Reply-To: mayer.wbst128@xerox.com
Organization: Xerox Corporation, Webster Research Center
Lines: 10

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