Implementation of Prolog in Lisp

Article View: comp.lang.prolog

Article #3068

#3068

From: Nevin Heintze
Date: Fri, 11 Mar 1988 20:09

8 lines
716 bytes

I am currently involved in a re-implementation of Lambda Prolog in Lisp at
CMU (as part of the ERGO project).  At the moment I am trying to find
information on implementations of PROLOG in Lisp.  Any pointers
to (recent) papers and/or implementations which address relevant issues
would be greatly appreciated.

Nevin Heintze
nch@b.gp.cs.cmu.edu

Technical Details

Message-ID: <1104@PT.CS.CMU.EDU>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!husc6!mit-eddie!bbn!rochester!PT.CS.CMU.EDU!B.GP.CS.CMU.EDU!nch

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!husc6!mit-eddie!bbn!rochester!PT.CS.CMU.EDU!B.GP.CS.CMU.EDU!nch
From: nch@B.GP.CS.CMU.EDU (Nevin Heintze)
Newsgroups: comp.lang.prolog
Subject: Implementation of Prolog in Lisp
Message-ID: <1104@PT.CS.CMU.EDU>
Date: 11 Mar 88 20:09:20 GMT
Sender: netnews@PT.CS.CMU.EDU
Organization: Carnegie-Mellon University, CS/RI
Lines: 8