tool: Prolog/Mali (PM)

---

Language:	Lambda-Prolog
Version:	? 6/23/92 ?
Parts:	compiler(->C), linker, libraries, runtime, documentation
Author:	Pascal Brisset <brisset@irisa.fr>
Location:	ftp://ftp.irisa.fr/pm/*
Description:	Lambda-Prolog, a logic programming language defined by Miller, 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.
Reference:	Miller D.A. and Nadathur G. "Higher-order logic programming", 3rd International Conference on Logic Programming, pp 448-462, London 1986. Nadathur G. "A Higher-Order Logic as a Basis for Logic Programming", Thesis, University of Pennsylvania, 1987.
Requires:	MALI-V06 abstract memory. MALI is available by anonymous ftp from ftp.irisa.fr
Ports:	unix
Discussion:	prolog-mali-request@irisa.fr
Contact:	pm@irisa.fr
Updated:	July 6th, 1992

category: logic programming languages summary, or expanded.