Constraint Handling Rules

Constraint Handling Rules

Bokus

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 supporte...

722.00 kr