eLP, a Common Lisp Implementation of λProlog. Implemented as part of the CMU ERGO project (1989)

by Conal Elliott, Frank Pfenning