nch@B.GP.CS.CMU.EDU (Nevin Heintze) (03/12/88)
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