Abstract FR:

Cette these est une contribution a la programmation en logique avec contraintes (clp). Dans un systeme clp, nous distinguons deux aspects: l'inference logique qui est domaine independant et la resolution des contraintes qui est domaine dependant. Dans les systemes clp existants, ces deux aspects sont etroitement lies (integration forte), ce qui pose des problemes d'implantation, d'extensibilite et de performance. Dans cette these, apres une analyse de ces problemes, nous etudions une approche visant a realiser une integration faible de l'inference logique et de la resolution des contraintes. Nous proposons dans ce cadre une architecture modulaire pour la construction de systemes clp, en faisant abstraction au niveau langage, des domaines de calcul. La modularite assure qu'un tel systeme est relativement facile a construire et extensible. L'architecture facilite la realisation d'implantations efficaces, en evitant des traitements repetitifs mais aussi en permettant l'utilisation de techniques de resolution de contraintes existantes. Le prototype conslog est presente pour valider l'approche proposee. Conslog est un systeme clp (extensible) dans les domaines finis entiers positifs. Il comporte deux composants independants: un evaluateur partiel qui effectue les inferences logiques et collecte les contraintes, et un solveur qui resout les contraintes collectees. Ce prototype operationnel, implante en prolog nous a permis d'experimenter differentes techniques de resolution de contraintes sur de nombreux exemples. Nos travaux apportent une vue nouvelle sur la construction des systemes clp