H ? « ‹ ← → › »

Language peer sets for MALI:
France↑
France/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

MALI(ID:3688/mal004)

alternate simple view
Country: France
Designed 1993

MALI for "Memoire Adapteé aux Langages Indéterministes" = "Memory for Non-Deterministic Languages"
MALI is not specialised to one dialect of Prolog but can be used for any non-deterministic language using a search-tree and traversing it in a depth-first manner. Several implementations of logic programming languages have been done with MALI: a PrologII interpreter, a Login interpreter, a PrologII interpreter with a fair goal selection strategy, and this Lambda Prolog compiler

Structures:
Related languages
MALI → login/mali   Implementation
MALI → PM   Implementation
MALI → Prolog-II/MALI   Implementation
References:
  • Ridoux, O. (1991) Ridoux, O. MALIv06: Tutorial and reference manual. Publication Interne 611, IRISA, 1991. Citeseer
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder