Keynotes at: Thom Fruehwirth, Constraint Handling Rules

March 18, 2015 at 9:17 AM
Thom Frühwirth is the designer of the programming language Constraint Handling Rules (CHR) and author of the book by the same name. He has co-authored two leading textbooks on constraint programming and reasoning that became standard references for the research area. He has published more than 170 research papers in declarative programming and logical reasoning.

Constraint Handling Rules (CHR) is a concurrent committed-choice constraint logic programming language. It consists of guarded rules that transform multi-sets of atomic formulas (constraints) until exhaustion. In CHR, one can describe algorithms in a compact declarative way. It can directly embed many rule-based formalisms and systems.

The clean logical semantics of CHR ensures that several desirable properties hold for proper CHR programs for free (such as incrementality). It also facilitates non-trivial program analysis (such as confluence). In particular, operational equivalence of terminating programs is decidable.

Last but not least, we present typical academic and commercial applications from the international CHR community. They range from stock broking to a world record attempt in robot sailing.

The annual International Web Rule Symposium (RuleML) is an international conference on research, applications, languages and standards for rule technologies. RuleML is the leading conference to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack.
  • Conference URL:
  • Conference hashtag:
  • Organization Website:
  • RuleML Blog & Social Mediazine: