Utilisation Des Modes Directionnels Dans La Resolution » książka
Utilisation Des Modes Directionnels Dans La Resolution
ISBN-13: 9786131509445 / Francuski / Miękka / 2010 / 140 str.
Cette these a pour but de presenter une categorie particuliere de modes, les modes directionnels, et de mettre en evidence leur utilite pour l'optimisation de la resolution dans le langage Prolog. Ils se caracterisent essentiellement par le fait qu'ils permettent de distinguer les differentes utilisations possibles d'un meme predicat. Ces modes offrent la possibilite d'ameliorer le controle en modifiant la strategie de resolution standard par reordonnancement statique des sous-buts des clauses. Dans certains cas, ils autorisent une transformation des programmes Prolog en programmes fonctionnels dont l'execution est notoirement plus efficace. Ils permettent egalement diverses optimisations locales, dont notamment une grande specialisation de l'algorithme d'unification en fonction des termes a unifier. Un algorithme de production automatique de ces modes est decrit. L'etude est concretisee par la realisation du compilateur Starlog fonctionnant sur un cas particulier de modes directionnels. Les mesures de performances mettent en evidence l'interet pratique de cette technique."
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 loptimisation de la résolution dans le langage Prolog. Ils se caractérisent essentiellement par le fait quils permettent de distinguer les différentes utilisations possibles dun même prédicat. Ces modes offrent la possibilité damé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 lexécution est notoirement plus efficace. Ils permettent également diverses optimisations locales, dont notamment une grande spécialisation de lalgorithme dunification 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 lintérêt pratique de cette technique.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
