Title: A tale of histories
Authors: Van Weert, Peter # ×
Issue Date: 14-Jul-2008
Host Document: Proceedings of the fifth Workshop on Constraint Handling Rules pages:79-94
Conference: Workshop on Constraint Handling Rules edition:5 location:Hagenberg, Austria date:14 July 2008
Abstract: Constraint Handling Rules (CHR) is an elegant, high-level programming language based on multi-headed, forward chaining rules. A distinguishing feature of CHR are propagation rules. To avoid trivial non-termination, CHR implementations ensure a CHR rule is applied at most once with the same combination of constraints by maintaining a so-called propagation history. The performance impact of this history is often significant. We introduce two optimizations to reduce or even eliminate this overhead, and evaluate their implementation in two state-of-the-art CHR systems.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
chr08.pdfMain article Published 235KbAdobe PDFView/Open


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