Skip to main content
    • Aa
    • Aa

As time goes by: Constraint Handling Rules: A survey of CHR research from 1998 to 2007


Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers, it is now recognized as an elegant general purpose language. Constraint Handling Rules related research has surged during the decade following the previous survey by Frühwirth (J. Logic Programming, Special Issue on Constraint Logic Programming, 1998, vol. 37, nos. 1–3, pp. 95–138). Covering more than 180 publications, this new survey provides an overview of recent results in a wide range of research areas, from semantics and analysis to systems, extensions, and applications.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

S. Abdennadher and H. Schütz 1998. CHR, a flexible query language. In FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, T. Andreasen , H. Christiansen and H. Larsen , Eds. LNAI, vol. 1495. Springer, 114.

M. Alberti , D. Daolio , P. Torroni , M. Gavanelli , E. Lamma and P. Mello 2004. Specification and verification of agent interaction protocols in a logic-based system. In SAC '04: Proc. 19th ACM Symp. Applied Computing, H. Haddad , Eds. ACM Press, 7278.

L. Badea , D. Tilivea and A. Hotaran 2004. Semantic Web Reasoning for Ontology-Based Integration of Resources. In PPSWR '04: Workshop on Principles And Practice Of Semantic Web Reasoning, H. J. Ohlbach , S. Schaffert , Eds. LNCS, vol. 3208. Springer, 6175.

S. Bressan and C. H. Goh 1998. Answering queries in context. In FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, T. Andreasen , H. Christiansen and H. Larsen , Eds. LNAI, vol. 1495. Springer, 6882.

L. De Koninck , T. Schrijvers and B. Demoen 2007b. User-definable rule priorities for CHR. In PPDP '07, M. Leuschel and A. Podelski , Eds. ACM Press, 2536.

L. De Koninck , P. J. Stuckey and G. J. Duck 2008. Optimizing compilation of CHR with rule priorities. In Proc. 9th Intl. Symp. Functional and Logic Programming, J. Garrigue and M. Hermenegildo , Eds. LNCS, vol. 4989. Springer, 3247.

G. Delzanno , M. Gabbrielli and M. C. Meo 2005. A compositional semantics for CHR. In PPDP '05, P. Barahona and A. Felty , Eds. ACM Press, 209217.

K. Djelloul , T.-B.-H. Dao and T. Frühwirth 2007. Toward a first-order extension of Prolog's unification using CHR: A CHR first-order constraint solver over finite or infinite trees. In SAC '07: Proc. 2007 ACM Symp. Applied computing, Y. Cho , R. L. Wainwright , H. Haddad , S. Y. Shin , and Y. W. Koo , Eds. ACM Press, 5864.

G. J. Duck , P. J. Stuckey , M. García de la Banda and C. Holzbaur 2003. Extending arbitrary solvers with Constraint Handling Rules. In PPDP '03. ACM Press, 7990.

T. Frühwirth 2009. Constraint Handling Rules. Cambridge University Press.

T. Frühwirth and S. Abdennadher 2003. Essentials of Constraint Programming. Springer.

N. Kosmatov 2006a. A constraint solver for sequences and its applications. In Proc. 2006 ACM Symp. on Applied Computing. ACM Press, 404408.

N. Kosmatov 2006b. Constraint solving for sequences in software validation and verification. In INAP '05: Proc. 16th Intl. Conf. Applications of Declarative Programming and Knowledge Management. LNCS, vol. 4369. Springer, 2537.

M. Meister , K. Djelloul and J. Robin 2007. A unified semantics for constraint handling rules in transaction logic. In LPNMR '07: Proc. 9th Intl. Conf. Logic Programming and Nonmonotonic Reasoning, C. Baral , G. Brewka and J. S. Schlipf , Eds. LNCS, vol. 4483. Springer, 201213.

T. Schrijvers and M. Bruynooghe 2006. Polymorphic algebraic data type reconstruction. In PPDP '06, A. Bossi and M. Maher , Eds. ACM Press, 8596.

T. Schrijvers , P. J. Stuckey and G. J. Duck 2005a. Abstract interpretation for constraint handling rules. In PPDP '05, P. Barahona and A. Felty , Eds. ACM Press, 218229.

M. Sulzmann , T. Schrijvers and P. J. Stuckey 2006. Principal type inference for GHC-style multi-parameter type classes. In APLAS '06: Proc. 4th Asian Symp. on Programming Languages and Systems, N. Kobayashi , Ed. LNCS, vol. 4279. Springer, 2643.

P. Tacchella , M. Gabbrielli and M. C. Meo 2007. Unfolding in CHR. In PPDP '07, M. Leuschel and A. Podelski , Eds. ACM Press, 179186.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 10 *
Loading metrics...

Abstract views

Total abstract views: 180 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 22nd September 2017. This data will be updated every 24 hours.