Source : Free On-Line Dictionary of Computing

Prolog/Mali
     
         (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:
        .
     
        (1992-07-06)