Abstract FR:

Réalisation d'un compilateur du langage Prolog II qui utilise la version logicielle de MALI (Mémoire adaptée aux langages indéterministes). Ce compilateur est basé sur la définition d'un ensemble de pseudo instructions d'une machine abstraite. Ces pseudo instructions sont elles-mêmes définies par des commandes MALI. Des optimisations sont décrites qui remédient aux problèmes de consommation de mémoire et de vitesse d'exécution. Notamment : l'indexation des clauses ; le contrôle statique de la création et du parcours des termes ; le traitement particulier des prédicats évaluables, des prédicats déterministes et du premier but d'une queue de clause