Utilisation des Modes Directionnels dans la Résolution - Oudot, Olivier

. .

Résumé :
Cette th?se a pour but de pr?senter une cat?gorie particuli?re de modes, les modes directionnels, et de mettre en ?vidence leur utilit? pour l''optimisation de la r?solution dans le langage Prolog. Ils se caract?risent essentiellement par le fait qu''ils permettent de distinguer les diff?rentes utilisations possibles d''un m?me pr?dicat. Ces modes offrent la possibilit? d''am?liorer le contr?le en modifiant la strat?gie de r?solution standard par r?ordonnancement statique des sous-buts des clauses. Dans certains cas, ils autorisent une transformation des programmes Prolog en programmes fonctionnels dont l''ex?cution est notoirement plus efficace. Ils permettent ?galement diverses optimisations locales, dont notamment une grande sp?cialisation de l''algorithme d''unification en fonction des termes ? unifier. Un algorithme de production automatique de ces modes est d?crit. L''?tude est concr?tis?e par la r?alisation du compilateur Starlog fonctionnant sur un cas particulier de modes directionnels. Les mesures de performances mettent en ?vidence l''int?r?t pratique de cette technique....

Biographie:
Passionn? par son m?tier, Olivier OUDOT a pu en pratiquer de multiples aspects, du d?veloppement de projets embarqu?s ? la direction d&apos...