Constraint Handling Rules

By: Thom Fruhwirth

Write A Review

Hardcover | 9 July 2009

At a Glance

Hardcover
322 Pages

Dimensions(cm)
25.4 x 18.1 x 2.2

Hardcover

RRP $101.95

$90.75

11%OFF

or 4 interest-free payments of $22.69 with

Ships in 5 to 7 business days

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, 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 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. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject.

Industry Reviews

'This is a great book illustrating both the simplicity and power of Constraint Handling Rules, the purest form of rule based programming I know.' Professor Peter J. Stuckey, University of Melbourne, and National ICT Australia
'The reference on Constraint Handling Rules, covering both theory and practice.' Professor Pascal Van Hentenryck, Brown University, Rhode Island

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Object-Oriented Programming or OOP Computer Science Mathematical Theory of Computation Artificial Intelligence

Preface
CHR Tutorial
Getting started
My first CHR programs
The CHR Language
Syntax and semantics
Properties of CHR
Program analysis
Rule-based and graph-based formalisms in CHR
CHR Programs and Applications
My first CHR programs, revisited for analysis
Finite domain constraint solvers
Infinite domain constraint solvers
Union-find algorithm
Bibliography
List of figures
List of illustrations
Index
Table of Contents provided by Publisher. All Rights Reserved.

Constraint Handling Rules

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Arduino For Dummies

For Dummies (Computer/Tech)

GO Programming in easy steps

In Easy Steps

Mining Complex Networks

Advances in Applied Mathematics

Mining Complex Networks

Advances in Applied Mathematics

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7â"9, 2025, Proceedings, Part I

The Fundamentals of Content Analytics

A Practical Guide for Marketing and Communications Professionals

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

Python All-in-One For Dummies

3rd Edition

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Make: Electronics

Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast

Hands-On Machine Learning with Scikit-Learn and Pytorch

Concepts, Tools, and Techniques to Build Intelligent Systems

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Fundamentals of Python

3rd Edition - First Programs

Head First Python

3rd Edition - A Learner's Guide to the Fundamentals of Python Programming, a Brain-Friendly Guide

This product is categorised by