Rule Based Programming with Constraints and Strategies

Authors:
Hubert Dubois;Hélène Kirchner
Affiliations:
-;-
Venue:
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Year:
1999

Citing 7
Cited 0

Rule-based systems

Communications of the ACM
Rule-based constraint programming

Fundamenta Informaticae - Special issue on foundations of constraint programming
Building constraint satisfaction problem solvers using rewrite rules and strategies

Fundamenta Informaticae - Special issue on foundations of constraint programming
The OPL optimization programming language

The OPL optimization programming language
Simplification by Cooperating Decision Procedures

ACM Transactions on Programming Languages and Systems (TOPLAS)
Expert Systems: Principles and Programming

Expert Systems: Principles and Programming
PREPARE: A Tool for Knowledge Base Verification

IEEE Transactions on Knowledge and Data Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a framework for Rule Based Programming with Constraints and Strategies. It is implemented in the ELAN language, that provides an environment for specifying and prototyping deduction systems. The existence of strategies provides the user with the possibility to make choices, to act upon them, and to retract if needed using backtracking. To illustrate the framework, we formalise a planning problem, namely a controller for printing tasks, that shows how to combine rules, strategies and constraint solving on finite domains.