Preferred answer sets for extended logic programs
Artificial Intelligence
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
An Open-Ended Finite Domain Constraint Solver
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
Term Rewriting Systems with Priorities
RTA '87 Proceedings of the 2nd International Conference on Rewriting Techniques and Applications
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Chart parsing and constraint programming
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
Abstract interpretation for constraint handling rules
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Optimal union-find in Constraint Handling Rules
Theory and Practice of Logic Programming
Rewriting term-graphs with priority
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Parallel execution of multi-set constraint rewrite rules
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Aggregates for CHR through Program Transformation
Logic-Based Program Synthesis and Transformation
Turing-Complete Subclasses of CHR
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Theory and Practice of Logic Programming
A Flexible Search Framework for CHR
Constraint Handling Rules
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Constraint Handling Rules
Guard Reasoning in the Refined Operational Semantics of CHR
Constraint Handling Rules
On the expressive power of priorities in CHR
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Optimizing compilation of CHR with rule priorities
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Actors with multi-headed message receive patterns
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Chr(prism)-based probabilistic logic learning
Theory and Practice of Logic Programming
A complete and terminating execution model for constraint handling rules
Theory and Practice of Logic Programming
The expressive power of CHR with priorities
Information and Computation
| Hi-index | 0.00 |
This paper introduces CHRrp: Constraint Handling Rules with user-definable rule priorities. CHRrp offers flexible execution control which is lacking in CHR. A formal operational semantics for the extended language is given and is shown to be an instance of the theoretical operational semantics of CHR. It is discussed how the CHR rp semantics influences confluence results. A translation scheme for CHRrp programs with static rule priorities into (regular) CHR is presented. The translation is proven correct and bench-mark results are given. CHRrp is related to priority systems in other constraint programming and rule based languages.