CHR Research Group
Constraint Handling Rules (CHR) is a concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multi-sets of atomic formulas (constraints) until exhaustion. It was designed by Thom Fruehwirth in 1991. CHR can embed many rule-based formalisms and systems, and it can describe algorithms in a compact declarative way without compromising efficiency. The clean semantics of CHR ensures that several desirable properties hold for CHR programs and also facilitates sophisticated program analysis. CHR libraries exist for Prolog, Haskell, Java, Javascript, Python and C. CHR is also available online for experimentation with many example programs. More than 250 academic and industrial projects worldwide use CHR, and about 2500 research papers reference it.
Klick here for more information on our research.

Prof. Dr. Thom Frühwirth
Ulm University
M.Sc. Sascha Rechenberger

Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
2013
Towards Inverse Execution of Constraint Handling Rules
Theory and Practice of Logic Programming, 13 (4-5-Online-Supplement)
August 2013
Herausgeber: Cambridge University Press
CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor
Juli 2013
CHRiSM and Probabilistic Argumentation Logic
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor
Juli 2013
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL), 14:1 :1-37
Februar 2013
Herausgeber: ACM
2012
CDF-Intervals Revisited
The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012)
Oktober 2012
SWI Prolog Reference Manual 6.2.2
September 2012
Herausgeber: Books On Demand
ISBN: | 978-3-84-822617-7 |
Substitution-based CHR Solver for Bivariate Binomial Equation Sets
CHR 2012: Ninth International Workshop on Constraint Handling Rules
September 2012
Proceedings of the 9th International Workshop on Constraint Handling Rules (CHR 2012)
Band Report CW 624
Leuven, Belgium
Department of Computer Science, Katholieke Universiteit Leuven
September 2012
Parallel Execution of <prt>C</prt>onstraint <prt>H</prt>andling <prt>R</prt>ules on a <prt>G</prt>raphical <prt>P</prt>rocessing <prt>U</prt>nit
CHR '12: Proc. 9th Workshop on Constraint Handling Rules, Seite 82-90
September 2012
Compiling CHR to Parallel Hardware
Proceedings of the 14th Symposium on Principles and Practice of Declarative ProgrammingausPPDP '12, Seite 173--184
Herausgeber: ACM, New York, NY, USA
2012
DOI: | 10.1145/2370776.2370798 |
ISBN: | 978-1-4503-1522-7 |