Title: Constraint Handling Rules. A tutorial for (Prolog) programmers
Authors: Schrijvers, Tom # ×
Issue Date: 2008
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:5366 pages:9-10
Conference: Inernational Conference on Logic Programming edition:24 location:Udine, Italy date:9-13 December 2008
Abstract: Constraint Handling Rules (CHR) is a high-level programming
language based on multi-headed, committed-choice, guarded multiset rewrite rules. Originally designed in 1991 by Fruehwirth for the particular purpose of adding user-defined constraint solvers to a host-language, CHR has matured over the last decade to a powerful and elegant general-purpose language with a wide spectrum of application

This tutorial intends to make the attendants aware of CHR's strengths as a programming language, and teaches them when and how to apply CHR for small to medium sized problems.
Description: Abstract of tutorial at the 24th International Conference on Logic Programming (ICLP 2008).
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
abstract.pdftutorial summary Published 69KbAdobe PDFView/Open


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