CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

eLP: Ergo Lambda Prolog

eLP (Ergo Lambda Prolog) is an interpreter written by Conal Elliott, Frank Pfenning and Dale Miller in Common Lisp and implements the core of lambda Prolog (higher-order hereditary Harrop formulas). It is embedded in a larger development environment called ESS (the Ergo Support System). eLP implements all core language feature and offers a module system, I/O, some facilities for tracing, error handling, arithmetic, recursive top-levels, on-line documentation and a number of extended examples, including many programs from Amy Felty's and John Hannan's thesis. (Lambda Prolog extends Prolog with a polymorphic type system, higher-order programming, simply typed lambda-terms as data structures, higher-order unification, scoping mechanisms for program clauses and parameters, and modules and data abstraction.) **************************************************************** *** Note: Although eLP is still distributed, it is no longer *** *** actively maintained. *** ****************************************************************
See Also: 


Version: 0.15 (12-FEB-90) Ports: It should run in Allegro Common Lisp, Lucid Common Lisp, Kyoto Common Lisp, CMU Common Lisp and Ibuki Common Lisp. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Bug Reports: [Note: The eLP implementation of lambda Prolog is no longer being developed or maintained.] Mailing List: To subscribe to the mailing list, send mail to Author(s): Conal Elliott Frank Pfenning Dale Miller Example suites by Scott Dietzen, Amy Felty, and John Hannan. Contact: Frank Pfenning School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 Tel: 412-268-6343 Keywords: Authors!Elliott, Authors!Miller.Dale, Authors!Pfenning, CMU, Ergo Lambda Prolog, Interpreters!Lambda Prolog, Lambda Prolog, Programming Languages!Prolog, Prolog in Common Lisp, Prolog!Implementations, eLP Contains: mellowcard.tar.gz A window-oriented documentation system for eLP. optionally by eLP. Runs in Lucid and Allegro. display.tar.gz A higher-level Common Lisp/X interface used sb.tar.gz You need this file to customize grammars. elp.tar.gz The Ergo implementation of lambda Prolog. ab.tar.gz The Ergo Attribute Grammar facility. sb.tar.gz The Ergo Parser/Unparser/Formatter generator dealing with abstract syntax trees. including some facilities for attributes and ergolisp.tar.gz The Ergo project's extensions to Common Lisp, References: ?
Last Web update on Mon Feb 13 10:34:58 1995