Lecture notes in computer science vol:4989 pages:32-47
International Symposium on Functional and Logic Programming edition:9 location:Ise, Japan date:14-16 April 2008
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.