MALI Project

The primary concern of the MALI project is the implementation of logic programming languages with a special emphasis on memory management. One result is a definition of the principles of complete garbage-collectors for logic programming languages.

An abstract memory based on these principles, called MALI ("Memorie aux Langages Indeterministes" or "Memory for Non-Deterministic Languages") has been defined, and implemented both in hardware and software. For more information, contact:

      MALI Project
      IRISA
      Campus Universitaire de Beaulieu
      35042 RENNES Cedex
      FRANCE

      Tel:	+33 99 84 71 00

      Fax:	+33 99 38 38 32

      Tlx:	Unirisa 950 473 F

      Email:	prolog-mali@irisa.fr
		prolog-mali-request@irisa.fr

      FTP:	ftp://ftp.irisa.fr/local/pm/