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.
|
|