Abstract FR:

Le travail presente dans cette these s'inscrit dans le cadre du projet clps (constraint logic programming with sets). Dans le paradigme de la plc, nous presentons l'ensemble des tests effectues incrementalement lors de l'acquisition des contraintes ensemblistes. Nous considerons les operateurs classiques des theories ensemblistes, a savoir: , ,, , =, , , , , (difference ensembliste), :: (type), (cardinalite) et mult (multiplicite d'occurences). Ces operateurs permettent de contraindre des structures d'ensembles et de multi-ensembles homogenes hereditairement finies. Les tests mis en uvre sont de deux natures: des tests semantiques et des tests sur les domaines des structures. Nous definissons un traitement particulier de la quantification universelle restreinte ; nous l'integrons comme contrainte du langage. Nous completons le mecanisme de traitement des contraintes ensemblistes par un algorithme de generation des solutions. La resolution des systemes ensemblistes utilise une combinaison de techniques enumeratives et de techniques de reecriture en programmation lineaire en entiers. Nous presentons, dans la deuxieme partie de ce memoire, un modele multi-solveurs permettant la construction et la resolution de systemes de contraintes heterogenes. Nous proposons d'associer des contraintes ensemblistes et des contraintes arithmetiques sur des objets du langage. Pour manipuler ces objets et permettre une communication entre les solveurs, nous effectuons une decomposition du systeme de contraintes en une forme resolue et une forme non resolue. La forme non resolue est une juxtaposition de systemes de contraintes geres par des solveurs differents. La forme resolue reunie toutes les informations liees aux domaines des objets du langage et sa gestion est assuree par un module specialise: le moniteur. Nous definissons le role du moniteur dans la gestion des domaines et dans la communication entre les solveurs en presentant les algorithmes qu'il met en place