Constraint handling rules: the story so far

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 of atomic formulas (constraints) into simpler ones until exhaustion. CHR was initially developed for solving constraints, but has matured into a general-purpose concurrent constraint language over the last decade, because it can embed many rule-based formalisms and describe algorithms in a declarative way. The clean semantics of CHR facilitates non-trivial program analysis and transformation

[1]  Daniel Le Métayer,et al.  A parallel machine for multiset transformation and its programming style , 1988, Future Gener. Comput. Syst..

[2]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[3]  Stéphane Bressan,et al.  Context Knowledge Representation and Reasoning in the Context Interchange System , 2015, Applied Intelligence.

[4]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[5]  Thom W. Frühwirth,et al.  A Linear-Logic Semantics for Constraint Handling Rules , 2005, CP.

[6]  Slim Abdennadher,et al.  Operational Semantics and Confluence of Constraint Propagation Rules , 1997, CP.

[7]  Slim Abdennadher,et al.  Essentials of Constraint Programming , 2010, Cognitive Technologies.

[8]  Slim Abdennadher,et al.  Operational Equivalence of CHR Programs and Constraints , 1999, CP.

[9]  Thom W. Frühwirth.  As Time Goes by: Automatic Complexity Analysis of Simplified Rules , 2002, KR.

[10]  Slim Abdennadher,et al.  An Experimental CLP Platform for Integrity Constraints and Abduction , 2000, FQAS.

[11]  M. T. Escrig.  Qualitative Spatial Reasoning: Theory and Practice: Application to Robot Navigation , 1998 .

[12]  Christophe Rigotti,et al.  Automatic generation of CHR constraint solvers , 2004, Theory and Practice of Logic Programming.

[13]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[14]  Thom W. Frühwirth,et al.  Constraint Handling Rules , 2009, Constraint Programming.