Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD)

par Daniel Diaz

Thèse de doctorat en Informatique

Sous la direction de Pierre Deransart.

Soutenue en 1995

à Orléans .

  • Titre traduit

    Study of the compilation of constraint logic programming languages over finite domains : the system clp (FD)


  • Pas de résumé disponible.


  • Résumé

    Ce travail porte sur la compilation des langages de programmation logique par contraintes sur les domaines finis (DF). Plutôt que d'adopter l'approche usuelle considérant le résolveur comme une boîte noire nous avons choisi l'approche boîte de verre de P. Van Hentenryck. Dans celle-ci, le résolveur gère une seule contrainte primitive. Toutes les contraintes complexes (équations, contraintes symboliques. . . ) sont traduites en des appels de contraintes primitives. Le résolveur est ainsi simple et homogène. De plus, l'utilisateur peut définir ses propres contraintes en termes de cette primitive. Cette primitive nous permet de définir une machine abstraite pour la compilation des contraintes DF. En outre, le traitement d'une seule primitive permet de définir des optimisations globales dont bénéficient toutes les contraintes de haut niveau. Toutes ces idées sont détaillées et aboutissent à la définition du langage clp (FD). L'étude des performances de clp (FD) montre que cette approche est très efficace, meilleure en tous cas que les résolveurs boîtes noires. Nous étudions également les aptitudes de clp (FD) à résoudre des contraintes booléennes car elles sont un cas particulier des DF. Là encore clp (FD) se compare très bien avec des résolveurs spécialisés. Nous nous intéressons enfin à la détection de la satisfaction des contraintes pour permettre à l'utilisateur de spécifier des calculs dirigés par les données (plutôt que par les instructions). Ce travail débouche donc tout naturellement sur l'implantation des langages concurrents.

Autre version

Cette thèse a donné lieu à une publication en 1995 par INRIA à Le Chesnay

Étude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD)


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 270 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p 264-270

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Orléans. Service commun de la documentation.Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 19-1995-76
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.
Cette thèse a donné lieu à 1 publication .

Consulter en bibliothèque

Cette thèse a donné lieu à une publication en 1995 par INRIA à Le Chesnay

Informations

  • Sous le titre : Étude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD)
  • Détails : 1 vol. (12-270 p.)
  • ISBN : 2-7261-0910-1
  • Annexes : Bibliogr. p. 264-270
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse ?