zbMATH — the first resource for mathematics

Constraint handling rules. (English) Zbl 1182.68039
Cambridge: Cambridge University Press (ISBN 978-0-521-87776-3/hbk). xxiii, 296 p. (2009).
This book is about programming with rules. It presents a rule-based constraint programming language called CHR (short for Constraint Handling Rules). While conceptually simple, CHR embeds the essential aspects of many rule-based and logic-based formalisms and can implement algorithms in a declarative yet highly effective way. This intermediate-level book with a gentle introduction and more advanced chapters gives an overview of CHR for readers of various levels of experience. The book concentrates on the basics of CHR while keeping in mind dozens of research papers. It is addressed to researchers, lecturers, graduate students, and professional programmers interested in languages for innovative applications. The book supports both self-study and teaching.

68N17 Logic programming
68Q55 Semantics in the theory of computing
68-02 Research exposition (monographs, survey articles) pertaining to computer science
Full Text: DOI