Title: Optimization of CHR propagation rules: extended report
Authors: Van Weert, Peter
Issue Date: Aug-2008
Publisher: Department of Computer Science, K.U.Leuven
Series Title: CW Reports vol:CW519
Abstract: Constraint Handling Rules (CHR) is an elegant, high-level programming language based on multi-headed, forward chaining rules. To ensure CHR propagation rules are applied at most once with the same combination of constraints, CHR implementations maintain a so-called propagation history. The performance impact of this history can be significant. We introduce several optimizations that, for the majority of CHR rules, eliminate this overhead. We formally prove their correctness, and evaluate their implementation in two state-of-the-art CHR systems. This extended report contains complete formal proofs of all theoretical results.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
CW519.pdfDocument Published 405KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.