From: Jim Mayer
Subject: Looking for SLD (Prolog like) inference engine embedding in Common Lisp
Date: Thu, 12 Jul 1990 10:53:19 +0000
Message-ID: <441@spot.wbst128.xerox.com>

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: ·············@xerox.com       Webster, New York 14580