Affordable Access

Explication systématique des contraintes indexicales

Authors
Publication Date

Abstract

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.

There are no comments yet on this publication. Be the first to share your thoughts.