Abstract FR:

Ce travail est centre sur l'etude d'un graphe general de dependance des liaisons qui est une structure fondamentale du principe de resolution permettant de concevoir toute une variete de nouveaux modeles d'execution pour la programmation logique et la programmation logique avec contraintes (plc). Le premier modele propose nous a permis d'integrer une methode de backtracking intelligent dans un compilateur prolog. Pour cela, une extension de la machine abstraite de warren (wam) a ete definie: la wamib. Un modele d'execution est ensuite presente integrant en plus une methode de maintien des deductions. Il consiste a analyser lors d'un echec d'unification, les points de choix pertinents pour y revenir directement, et les parties independantes du calcul afin de permettre leur re-utilisation. Le premier modele d'execution presente pour la plc repose sur l'ecriture de meta-programmes en prolog, permettant la resolution de contraintes sur les domaines finis. Notre compilateur prolog base sur la wamib a ete utilise pour implanter le backtracking intelligent en plc. Un second modele consiste a integrer une methode de maintien des deductions, qui permet de definir un solveur de contraintes dynamiques supportant l'ajout et le retrait incremental de contraintes. Le dernier modele propose, est un modele d'execution reactif et interactif pour la plc. Il repose d'une part sur le solveur de contraintes incremental et d'autre part sur un systeme de transformation de derivations pour l'ajout et le retrait de contraintes et d'atomes dans la requete, introduit par julian fowler. La mise en uvre de ce modele d'execution est illustree sur deux applications qui permettent d'evaluer les gains en performances et en pouvoir d'expression dus a l'implementation realisee