This is the definitive reference on Constraint Handling Rules (CHR), written by its creator. CHR is both a special-purpose language for programming with rules, and a general-purpose language for computational logic and beyond. Describing how to use CHRin practice, the author explains the theory, beginning with the syntax and semantics of CHR, including a full discussion of the declarative and operational semantics. He then compares CHR with other formalisms and languages, and illustrates how it can c
以下为对购买帮助不大的评价