laird@pluto.arc.nasa.gov (Phil Laird) (05/16/91)
Someone told me they recalled seeing an announcement
on this bboard a while ago about a prolog interpreter written in
Lisp. If anyone knows of such and could pass me a pointer,
I'd be most grateful. Please respond to me, since I don't
normally subscribe to this bboard.
Thx. ++ Phil (laird@pluto.arc.nasa.gov)
--
----------------- PHILIP D. LAIRD -----------------
NASA Ames Research Center, AI Research Branch, MS 244-17,
Moffett Field, CA 94035
Phone: (415)-604-3362. Email: laird@pluto.arc.nasa.govlaird@pluto.arc.nasa.gov (Phil Laird) (05/17/91)
Thanks to everyone who responded. Here's a summary of the
logic-programming interpreters available in Lisp:
The most recent, and probably the most useful, interpreter
(compiler, too!) is written in Common Lisp and will appear in
Peter Norvik's forthcoming book on AI Programming. (I assume this
is generally available from the author, NORVIG@teak.berkeley.edu).
One user reports that he gets a couple thousand LIPS from compiled
code using this.
The book by Campbell, "Implementations of Prolog", has a very simple
interpreter.
Abelson & Sussman's "Structure and Interpretation of Computer
Programs" discusses logic programming in Scheme
Charniak, McDermott, and Riesbeck "Artificial Intelligence
Programming" has a logic programming interpreter.
An implementation of Prolog in Scheme is now available from the
University of Calgary. The interpreter may
be obtained via anonymous ftp (cpsc.ucalgary.ca) in the directory
pub/prolog1.1, or as a compressed tar file, pub/prolog11.tar.Z.
-- Phil
--
----------------- PHILIP D. LAIRD -----------------
NASA Ames Research Center, AI Research Branch, MS 244-17,
Moffett Field, CA 94035
Phone: (415)-604-3362. Email: laird@pluto.arc.nasa.gov