H ?
«
‹
←
→
›
»
Language peer sets for MALI: France↑ France/1993↑ Designed 1993 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ MALI(ID:3688/mal004)alternate simple viewCountry: 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
References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |