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
2025
FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings
Theory and Practice of Logic Programming, 25 (3) :340–373
May 2025
DOI: | 10.1017/S1471068425000043 |
FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings
Theory and Practice of Logic Programming, 25 (3) :340–373
May 2025
DOI: | 10.1017/S1471068425000043 |
A refined operational semantics for FreeCHR
2025
File: | https://arxiv.org/abs/2504.04962 |
A refined operational semantics for FreeCHR
2025
File: | https://arxiv.org/abs/2504.04962 |
An instance of FreeCHR with refined operational semantics
2025
File: | https://arxiv.org/abs/2505.22155 |
An instance of FreeCHR with refined operational semantics
2025
File: | https://arxiv.org/abs/2505.22155 |
Optimized Execution of FreeCHR
2025
File: | https://arxiv.org/abs/2506.14485 |
Optimized Execution of FreeCHR
2025
File: | https://arxiv.org/abs/2506.14485 |
2023
FreeCHR: An Algebraic Framework for CHR Embeddings
7th International Joint Conference on Rules and Reasoning (RuleML+RR '23), Oslo, Norway
October 2023
DOI: | 10.1007/978-3-031-45072-3_14 |
ISBN: | 978-3-031-45072-3 |
FreeCHR: An Algebraic Framework for CHR-Embeddings
2023
DOI: | 10.48550/arXiv.2306.00642 |