Utilisation Des Modes Directionnels Dans La Resolution [French]

By Olivier OUDOT

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.

• Format: Paperback
• Language: French
• ISBN: 6131509441
• ISBN13: 9786131509445
• Release Date: November 2010
• Publisher: Editions Universitaires Europeennes
• Length: 140 Pages
• Weight: 0.47 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"