(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: Sa.fr>. (1992-07-06)