(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: prolog-mali-request@irisa.fr. E-mail: . (1992-07-06)