Skip to Main content Skip to Navigation
Conference papers

Explication systématique des contraintes indexicales

Résumé : Plusieurs solveurs de contraintes sur domaines finis, tels GNU-Prolog ou SICStus Prolog, utilisent les indexicaux pour définir leurs contraintes primitives. Un indexical exprime un ensemble de valeurs consistantes pour une variable donnée et peut être compilé en un algorithme de filtrage efficace. L'explication d'un retrait de valeurs est un sous-ensemble du store qui suffit à justifier ce retrait. Les explications permettent de traiter des problèmes sur-contraints ou dynamiques, et de mettre en oeuvre diverses méthodes de recherche. Traditionnellement, il faut concevoir un algorithme de calcul des explications pour chaque algorithme de filtrage. Cet article montre que, pour les contraintes spécifiées par des indexicaux, il est possible de dériver automatiquement les algorithmes d'explication. Dans le cas de SICStus Prolog, il est même possible de tirer partie de l'implémentation existante pour optimiser ce calcul.
Complete list of metadata

https://hal.inria.fr/inria-00000089
Contributor : Christine Solnon <>
Submitted on : Thursday, May 26, 2005 - 2:34:09 PM
Last modification on : Thursday, May 26, 2005 - 3:26:06 PM
Long-term archiving on: : Thursday, April 1, 2010 - 9:34:41 PM

Files

Identifiers

  • HAL Id : inria-00000089, version 1

Collections

Citation

Ludovic Langevine. Explication systématique des contraintes indexicales. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.413-422. ⟨inria-00000089⟩

Share

Metrics

Record views

72

Files downloads

58