ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Chart parsing and constraint programming
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
Optimizing compilation of constraint handling rules in HAL
Theory and Practice of Logic Programming
Optimal union-find in Constraint Handling Rules
Theory and Practice of Logic Programming
User-definable rule priorities for CHR
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
The correspondence between the logical algorithms language and CHR
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Parallel execution of multi-set constraint rewrite rules
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Theory and Practice of Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Actors with multi-headed message receive patterns
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A complete and terminating execution model for constraint handling rules
Theory and Practice of Logic Programming
Concurrent goal-based execution of constraint handling rules
Theory and Practice of Logic Programming
| Hi-index | 0.00 |
Constraint Handling Rules were recently extended with user-definable rule priorities. This paper shows how this extended language can be efficiently compiled into the underlying host language. It extends previous work by supporting rules with dynamic priorities and by introducing various optimizations. The effects of the optimizations are empirically evaluated and the new compiler is compared with the state-of-the-art K.U. Leuven CHR system.