Re: Seeking Prolog interpreter in Lisp

Article View: comp.lang.prolog

Article #2237

#2237

From: Phil Laird
Date: Fri, 17 May 1991 01:46

30 lines
1733 bytes

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

Technical Details

Message-ID: <12712@ptolemy-ri.ptolemy.arc.nasa.gov>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!elroy.jpl.nasa.gov!decwrl!stanford.edu!ptolemy!pluto.arc.nasa.gov

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!elroy.jpl.nasa.gov!decwrl!stanford.edu!ptolemy!pluto.arc.nasa.gov
From: laird@pluto.arc.nasa.gov (Phil Laird)
Newsgroups: comp.lang.prolog
Subject: Re: Seeking Prolog interpreter in Lisp
Message-ID: <12712@ptolemy-ri.ptolemy.arc.nasa.gov>
Date: 17 May 91 01:46:05 GMT
Sender: usenet@ptolemy.arc.nasa.gov
Distribution: usa
Organization: NASA-Ames Research Center, Moffett Field, CA
Lines: 30