laird@pluto.arc.nasa.gov (Phil Laird) (05/18/91)
Archive-name: languages/prolog/calgary-scheme-prolog/1991-05-17
Archive: cpsc.ucalgary.ca:/pub/prolog11.tar.Z [136.159.2.1]
Original-posting-by: laird@pluto.arc.nasa.gov (Phil Laird)
Original-subject: Re: Seeking Prolog interpreter in Lisp
Reposted-by: emv@msen.com (Edward Vielmetti, MSEN)
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
-- comp.archives file verification
cpsc.ucalgary.ca
-r--r--r-- 1 170 1 46965 Apr 26 08:26 /pub/prolog11.tar.Z
found calgary-scheme-prolog ok
cpsc.ucalgary.ca:/pub/prolog11.tar.Z