Etude et réalisation d'un système de programmation logique par contraintes abstraites multidomaines
par Sylvain Laduguie
Thèse de doctorat en Automatique et informatique
Sous la direction de Jean-Jacques Chabrier.
Soutenue en 1993
à Besançon .
mots clés-
Résumé
Nous proposons dans cette thèse une nouvelle approche des systèmes de programmation logique avec contraintes. Son principe est de fournir à l'utilisateur des traits de langage de haut niveau d'abstraction, afin de lui permettre d'exprimer ses problèmes de manière simple et naturelle, dans un environnement proche de son univers de discours. A partir d'éléments de base (entiers, booléens, réels,. . . ), il est possible de définir de nouvelles classes d'objets, de plus en plus complexes, et les relations entre ces objets. Ces classes sont regroupées en librairies dont l'utilisateur peut disposer pour modéliser son problème. Une fois définie, la modélisation abstraite d'un problème est ensuite soumise à des transformations, dont le but est de déterminer un ensemble équivalent de contraintes de base exploitables par les méthodes classiques de résolution. Cette approche a été validée par le développement d'un système travaillant sur les entiers et les booléens.
-
Titre traduit
Study and realization of an abstract constraints logic programming system integrating several solvers
-
Pas de résumé disponible.
