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

Mailing list: E-mail: <>.

Last updated: 1992-07-06

Try this search on Wikipedia, OneLook, Google

Nearby terms:

Prolog-II « Prolog-III « Prolog-Linda « Prolog/Mali » PROM » PROMAL » Prometheus