Path: 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

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