Constraint Handling Rules

Constraint Handling Rules

Edited by 

List price: US$56.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


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 more

Product details

  • Paperback | 104 pages
  • 152 x 229 x 6mm | 163g
  • Duc
  • United States
  • English
  • 6136533588
  • 9786136533582