Rule-Based Constraint Programming

Claude Kirchner 1 Christophe Ringeissen 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper we present a view of constraint programming based on the notion of rewriting controlled by strategies. We argue that this concept allows us to describe in a unified way the constraint solving mechanism as well as the meta-language needed to manipulate the constraints. This has the advantage to provide descriptions that are very close to the proof theoretical setting used now to describe constraint manipulations like unification or numerical constraint solving. We examplify the approach by presenting examples of constraint solvers descriptions and combinations written in the elan language.
Type de document :
Article dans une revue
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1998, 34 (3), pp.225--262
Liste complète des métadonnées
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:01:56
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58


  • HAL Id : inria-00098476, version 1



Claude Kirchner, Christophe Ringeissen. Rule-Based Constraint Programming. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1998, 34 (3), pp.225--262. 〈inria-00098476〉



Consultations de la notice