Conference Proceedings

Optimizing compilation of CHR with rule priorities

L De Koninck, PJ Stuckey, GJ Duck

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Published : 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. © 2008 Springer-Verlag Berlin Heidelberg.

Citation metrics