Constraint Handling Rules: Declarative programming, Programming language, Constraint programming - Softcover

Softcover

ISBN 10: 6136533588 ISBN 13: 9786136533582

Publisher: OmniScriptum, 2026

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Constraint Handling Rules is a declarative programming language extension introduced in 1991 by Thom Frühwirth. Originally designed for developing constraint programming systems, CHR is increasingly used as a high-level general-purpose programming language. Typical application domains of CHR are abduction, multi-agent systems, natural language processing, compilation, scheduling, spatial-temporal reasoning, testing and verification, and type systems. Although CHR is Turing complete, it is not commonly used as a programming language in its own right. Rather, it is used to extend a host language with constraints. Current host languages include Prolog, Java and Haskell. Prolog is by far the most popular host language and CHR is included in many Prolog implementations, including SICStus and SWI-Prolog.

Edition details

• Publisher: OmniScriptum
• Publication date: 2026
• Language: English
• ISBN 10: 6136533588
• ISBN 13: 9786136533582
• Binding: Broché
• Number of pages: 104
• Editor: Naoum Jordan