Prologmali

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

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