CMU Artificial Intelligence Repository
Prolog/Mali: Compiler for higher-order Lambda Prolog
lang/prolog/impl/prolog/pm/
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:
lang/prolog/impl/prolog/elp/
lang/prolog/impl/prolog/lp/
Origin:
ftp.irisa.fr:local/pm/ [131.254.254.2]
ftp.irisa.fr:local/maliv06/
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: prolog-mali@irisa.fr
To be added to the mailing list, send mail to
prolog-mali-request@irisa.fr.
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: pm@irisa.fr, maliv06@irisa.fr
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
AI.Repository@cs.cmu.edu