Abstract FR:

Cette these propose une reformulation complete de la semantique des programmes logiques avec contraintes dans la lignee de la vision grammaticale de la programmation logique p. Deransart et j. Maluszynski 1993. La semantique generalise les semantiques classiques j. Jaffar et j-l. Lassez 1987 basees sur un domaine ou une theorie pour la semantique du langage des contraintes. De plus, elle tient compte de l'incompletude des solveurs de contraintes. Les resultats connus sont retrouves. Cette reformulation est particulierement bien adaptee pour etudier le diagnostic declaratif d'erreur e. Y. Shapiro 1982 des programmes logiques avec contraintes. Diverses notions d'erreurs sont definies et des algorithmes de diagnostics sont proposes. Ils sont compares avec certaines techniques elaborees pour la programmation logique pure.