Optimizing compilation of CHR with rule priorities

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

doi:10.1007/978-3-540-78969-7_5

Optimizing compilation of CHR with rule priorities

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

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-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 language	English
Title of host publication	Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Proceedings
Pages	32-47
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-540-78969-7_5
Publication status	Published - 14 May 2008
Externally published	Yes
Event	International Symposium on Functional and Logic Programming, FLOPS 2008 - Ise, Japan Duration: 14 Apr 2008 → 16 Apr 2008 Conference number: 9th

Publication series

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

Conference

Conference	International Symposium on Functional and Logic Programming, FLOPS 2008
Country/Territory	Japan
City	Ise
Period	14/04/08 → 16/04/08

Access to Document

10.1007/978-3-540-78969-7_5

Cite this

De Koninck, L., Stuckey, P. J., & Duck, G. J. (2008). Optimizing compilation of CHR with rule priorities. In Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Proceedings (pp. 32-47). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4989 LNCS). https://doi.org/10.1007/978-3-540-78969-7_5

@inproceedings{298607ce2617431c93d364af24ef10dc,

title = "Optimizing compilation of CHR with rule priorities",

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.",

author = "{De Koninck}, Leslie and Stuckey, {Peter J.} and Duck, {Gregory J.}",

year = "2008",

month = may,

day = "14",

doi = "10.1007/978-3-540-78969-7_5",

language = "English",

isbn = "3540789685",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "32--47",

booktitle = "Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Proceedings",

note = "International Symposium on Functional and Logic Programming, FLOPS 2008 ; Conference date: 14-04-2008 Through 16-04-2008",

}

De Koninck, L, Stuckey, PJ & Duck, GJ 2008, Optimizing compilation of CHR with rule priorities. in Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4989 LNCS, pp. 32-47, International Symposium on Functional and Logic Programming, FLOPS 2008, Ise, Japan, 14/04/08. https://doi.org/10.1007/978-3-540-78969-7_5

Optimizing compilation of CHR with rule priorities. / De Koninck, Leslie; Stuckey, Peter J.; Duck, Gregory J.
Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Proceedings. 2008. p. 32-47 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4989 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Optimizing compilation of CHR with rule priorities

AU - De Koninck, Leslie

AU - Stuckey, Peter J.

AU - Duck, Gregory J.

N1 - Conference code: 9th

PY - 2008/5/14

Y1 - 2008/5/14

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=43149116120&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-78969-7_5

DO - 10.1007/978-3-540-78969-7_5

M3 - Conference Paper

AN - SCOPUS:43149116120

SN - 3540789685

SN - 9783540789680

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 32

EP - 47

BT - Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Proceedings

T2 - International Symposium on Functional and Logic Programming, FLOPS 2008

Y2 - 14 April 2008 through 16 April 2008

ER -

Optimizing compilation of CHR with rule priorities

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this