Optimizing compilation of CHR with rule priorities

Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationFunctional and Logic Programming - 9th International Symposium, FLOPS 2008, Proceedings
Pages32-47
Number of pages16
DOIs
Publication statusPublished - 14 May 2008
Externally publishedYes
EventInternational Symposium on Functional and Logic Programming, FLOPS 2008 - Ise, Japan
Duration: 14 Apr 200816 Apr 2008
Conference number: 9th

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4989 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Symposium on Functional and Logic Programming, FLOPS 2008
CountryJapan
CityIse
Period14/04/0816/04/08

Cite this