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

 
9786136533582: Constraint Handling Rules: Declarative programming, Programming language, Constraint programming

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9783540922421: Constraint Handling Rules: Current Research Topics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5388

Edizione in evidenza

ISBN 10:  3540922423 ISBN 13:  9783540922421
Casa editrice: Springer, 2009
Brossura