< language > (PM) Lambda-Prolog for the MALI -V06 abstract memory system, developed by Pascal Brisset at IRISA, France. There is a compiler which compiles to C , a linker, libraries, run-time system , and documentation. It runs under Unix .
ftp://ftp.irisa.fr/pm/ .
Mailing list: prolog-mali-request@irisa.fr. E-mail: pm@irisa.fr .
(1992-07-06)