Thèse soutenue

Compilation de lambda-prolog
FR
Accès à la thèse
Auteur / Autrice : Pascal Brisset
Direction : Yves Bekkers
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1992
Etablissement(s) : Rennes 1

Résumé

FR

Cette these presente une solution de compilation pour prolog. Prolog est une extension double de prolog. D'une part deux nouveaux connecteurs, l'implication et le quantificateur universel, permettent d'ecrire des buts non permis en prolog. D'autre part, les termes du premier ordre de prolog sont remplaces par des termes types. La mise en uvre de prolog pose des problemes originaux. Contrairement au cas de prolog, l'unificateur de termes types est non-deterministe et les termes sont types. De plus, la regle de equivalence doit etre prise en compte et les termes doivent etre mis sous forme normale. La quantification universelle necessite de manipuler une signature explicite. L'implication oblige a une modification dynamique de la base de clauses. Apres definition du langage et une specification denotationnelle executable, la compilation de prolog puis celle de prolog sont presentees. L'implantation proposee utilise la machine mali, memoire specialisee pour les langages de programmation logique, au-dessus de laquelle est definie une machine virtuelle inspiree de la wam. Ce travail a ete valide par une realisation. Les performances obtenues, comparees a celles des systemes existants, sont excellentes tant du point de vue du temps que de la memoire