×

zbMATH — the first resource for mathematics

Rule-based constraint programming. (English) Zbl 0943.68094
Summary: 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 exemplify the approach by presenting examples of constraint solvers descriptions and combinations written in the ELAN language.

MSC:
68Q42 Grammars and rewriting systems
68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Software:
ELAN
PDF BibTeX XML Cite