Constraint Handling Rules. Textbook, Cambridge University Press, ISBN 9780521877763, 2009.
The standard reference authored by the designer of CHR
– Provides a CHR tutorial for easy introduction –
An essential source for researchers, lecturers, graduate students and professional programmers.
Constraint Handling Rules: Compilation, Execution, and Analysis. Textbook, ISBN 978-3-7460-6905-0, 2011, 2018.
This book presents recent research in implementation, extensions, and novel analyses of CHR. It starts with a concise and research-oriented introduction to CHR. After that, carefully selected chapters from recent PhD theses provide detailed information on the topics of compilation and optimization, execution strategies, and formal analysis of CHR. These chapters can be read individually based on the reader’s interest.
Essentials of Constraint Programming. Textbook, Springer Verlag, ISBN 9780817644451, 2003.
The first book that presents constraint logic programming languages and constraint solving systems in a uniform and concise way, using CHR as a specification and implementation language.