Book now available:


CONSTRAINT HANDLING RULES

http://constraint-handling-rules.org

Thom Frühwirth, Cambridge University Press, ISBN 9780521877763, 2009.



Constraint Handling Rules (CHR) is both a versatile theoretical
formalism based on logic and an efficient practical high-level
programming language based on rules and constraints.

This book describes the theory of CHR and how to use it in practice. It
is supported by a website containing teaching materials, online demos,
and free downloads of the language. After a basic tutorial, the author
describes in detail the CHR language and discusses guaranteed and
desirable properties of CHR programs. The author then compares CHR with
other formalisms and languages and illustrates how it can capture their
essential features. Finally, larger programs are introduced and analyzed
in detail. Exercises with selected solutions, and bibliographic remarks
are included at the ends of chapters.