Rule - based constraint programming

• Autorzy: Kirchner C. , Ringeissen C.
• Języki publikacji: EN

Abstrakty

EN

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 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.

Słowa kluczowe

EN

constraint programming; constraint solving; unification; rewriting logic; computational systems

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1998
• Tom: Vol. 34, nr 3
• Strony: 225--262
• Opis fizyczny: bibliogr. 53 poz.

Twórcy

autor

Kirchner C.

autor

Ringeissen C.

• LORIA - INRIA 615 rue du Jardin Botanique BP 101, 54602 Villers-les-Nancy Cedex France,