Deutsche Studentensprache (1895)

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.