Utilisation des modes directionnels dans la résolution / Olivier Oudot ; sous la direction de [Jacques Mossière]

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Prolog (langage de programmation)

Résolution de problème -- Informatique

Théorèmes -- Démonstration automatique

Compilateurs (logiciels)

Compilation (informatique)

Mossière, Jacques (19..-.... ; informaticien) (Directeur de thèse / thesis advisor)

Trilling, Laurent (1941-.... ; informaticien) (Membre du jury / opponent)

Krakowiak, Sacha (1937-.... ; informaticien) (Membre du jury / opponent)

Institut national polytechnique (Grenoble, Isère, France ; 1900-....) (Organisme de soutenance / degree-grantor)

Institut d'informatique et mathématiques appliquées (Grenoble ; 1989-2006) (Laboratoire associé à la thèse / thesis associated laboratory)

Relation : Utilisation des modes directionnels dans la résolution / Olivier Oudot ; sous la direction de [Jacques Mossière] / Grenoble : Université Joseph Fourier , 2008

Relation : Utilisation des modes directionnels dans la résolution / Olivier Oudot ; sous la direction de [Jacques Mossière] / Grenoble : Atelier national de reproduction des thèses , 1987

Résumé / Abstract : Cette étude met en évidence l'utilité des modes directionnels 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. 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