Constraint Handling Rules- What Else?

www.constraint-handling-rules.org Abstract. Constraint Handling Rules (CHR) is both an effective con-current declarative constraint-based programming language and a versa-tile computational formalism. While conceptually simple, CHR is distin-guished by a remarkable combination of desirable features: – a semantic foundation in classical and linear logic, – an effective and efficient sequential and parallel execution model – guaranteed properties like the anytime online algorithm properties – powerful analysis methods for deciding essential program properties. This overview of some CHR-related research and applications is by no means meant to be complete. Essential introductory reading for CHR provide the survey article [125] and the books [56, 63]. Up-to-date in-formation on CHR can be found online at the CHR web-page www. constraint-handling-rules.org, including the slides of the keynote talk associated with this article. In addition, the CHR website dtai