Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD)
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...
שמור ב:
| מחבר ראשי: | |
|---|---|
| פורמט: | Thèse numérique |
| שפה: | Français |
| יצא לאור: |
Villeurbanne :
[CCSD]
2014.
|
| נושאים: | |
| גישה מקוונת: | Accès au texte intégral Accès Université d'Orléans |
| הערה: |
Description d'après la consultation, 2018-04-26 Titre provenant de l'écran titre Cette édition peut différer de la version de soutenance enregistrée sous le Numéro National de Thèse : 1995ORLE2076 Thèses CCSD |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Study of the compilation of constraint logic programming languages over finite domains :, the system clp (FD) |
| Edition sous un autre format: | • Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis, le système clp (FD), par Daniel Diaz, 1995, 1 vol. (270 p.) |
| LEADER | 03457nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 928134 | ||
| 008 | 180615s2014 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN227763351 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 084 | |a 004 | ||
| 100 | 1 | |a Diaz, Daniel, |d 1965- | |
| 240 | 1 | 0 | |a Study of the compilation of constraint logic programming languages over finite domains : |b the system clp (FD) |
| 245 | 1 | 0 | |a Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : |b le système clp (FD) |c par Daniel Diaz. |
| 256 | |a Données textuelles | ||
| 260 | |a Villeurbanne : |b [CCSD], |c 2014. | ||
| 500 | |a Description d'après la consultation, 2018-04-26 | ||
| 500 | |a Titre provenant de l'écran titre | ||
| 500 | |a Cette édition peut différer de la version de soutenance enregistrée sous le Numéro National de Thèse : 1995ORLE2076 | ||
| 500 | |a Thèses CCSD | ||
| 502 | |a Texte remanié de. Thèse de doctorat. Informatique. Orléans. 1995 | ||
| 520 | |a 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. | ||
| 538 | |a Un logiciel capable de lire un fichier au format PDF | ||
| 650 | |a Programmation logique | ||
| 650 | |a Prolog (langage de programmation) | ||
| 650 | |a Programmation par contraintes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Thèses et écrits académiques | ||
| 776 | 0 | |0 069724695 |t Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis |o le système clp (FD) |f par Daniel Diaz |d 1995 |p 1 vol. (270 p.) | |
| 856 | 4 | |q PDF |u https://tel.archives-ouvertes.fr/tel-00981853 |z Accès au texte intégral | |
| 856 | 4 | |5 452349901:727098330 |u https://ezproxy.univ-orleans.fr/login?qurl=https%3A//tel.archives-ouvertes.fr/tel-00981853 |z Accès Université d'Orléans | |
| 997 | |0 928134 |1 Thèse numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||