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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.