Constraint handling rules: the story so far

@inproceedings{Frhwirth2006ConstraintHR,
  title={Constraint handling rules: the story so far},
  author={Thom W. Fr{\"u}hwirth},
  booktitle={PPDP},
  year={2006}
}
Rule-based programming experiences renaissance due to its applications in areas such as Business Rules, Semantic Web, Computational Biology, Verification and Security. Executable rules are used in declarative programming languages, in program transformation and analysis, and for reasoning in artificial intelligence applications.Constraint Handling Rules (CHR) [6, 8, 11] is a concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multi-sets… CONTINUE READING