Prolog/Mali

from The Free On-line Dictionary of Computing (8 July 2008)

Prolog/Mali

   <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: [email protected].  E-mail:
   <[email protected]>.

   (1992-07-06)