Autore: Germany) Fruhwirth Thom (Universitat Ulm

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 C …