CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Prolog/Mali: Compiler for higher-order Lambda Prolog

Prolog/Mali is a compiler for the higher-order language Lambda Prolog. Lambda Prolog is an extension of Prolog defined by Miller. It is an extension of Prolog where terms are simply typed lambda terms and clauses are higher order hereditary Harrop formulas. The main novelties are universal quantification on goals and implication. Prolog/Mali is a complete system which includes a C translator, a linker, libraries, runtime, and documentation, and runs on UNIX. Possible applications are the same as standard Prolog, but with a real plus for those where scoping of variables is important, such as theorem-proving, implementation of type systems, and formal transformation on structured programs. The system is a compiler (written in Prolog/Mali) which produces C code. The execution scheme uses Mali (an abstract memory for representing terms with efficient space management). Accordingly, it is necessary to compile MALI before compiling PM. A copy of MALI version 6 (16-DEC-93) is included in this directory. (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.) date, version
See Also: 

Origin:               []

Version: 1.8 (5-NOV-93) Requires: C and the MALI-V06 abstract memory package. Copying: Copyright (c) 1992 by IRISA/Universite de Rennes I, FRANCE Use, copying, and distribution permitted under GNU GPL v2. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Mailing List: To be added to the mailing list, send mail to Author(s): Pascal Brisset (or ) Institut de Recherche en Informatique et Systemes Aleatoires IRISA/Universite de Rennes I Campus Universitaire de Beaulieu 35042 Rennes Cedex, FRANCE Tel: (33) 99-84-71-00 Fax: (33) 99-38-38-32 Olivier Ridoux Institut National de Recherche en Informatique et Automatique INRIA/Domaine de Voluceau-Rocquencourt, BP 105 78153 Le Chesnay Cedex, FRANCE Tel: (33) (1) 39-63-55-11 Fax: (33) (1) 39-63-53-30 Contact:, Keywords: Authors!Brisset, Authors!Ridoux, Compilers!Lambda Prolog, INRIA, IRISA, Interpreters!Lambda Prolog, Lambda Prolog, Logic Programming, MALI, PM, Programming Languages!Prolog, Prolog!Implementations, Prolog/Mali References: A short user manual is included in the distribution. The papers marked with a (*) are included in doc.tar.gz. Pascal Brisset, "Compilation de lambda-Prolog", Thesis, Rennes I, March 1992. (*) Olivier Ridoux and Pascal Brisset, "The Compilation of lambda-Prolog and its Execution with MALI", Research Report 1831, IRISA/INRIA, 1993. Olivier Ridoux and Pascal Brisset, "Naive reverse can be linear", in Proceedings of the 8th International Conference on Logic Programming, Paris 1992. (*) Serge Le Huitouze, Pascale Louvet, and Olivier Ridoux, "Logic Grammars and Lambda Prolog", Proceedings of the 9th International Conference on Logic Programming, 1993. Olivier Ridoux, "MALI v06 -- Tutorial and Reference Manual", Research Report 611, IRISA/INRIA, 1991.
Last Web update on Mon Feb 13 10:35:06 1995