<p><P>The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. </P><P>The CHR language saw the light more than 15 y
Constraint Handling Rules: Current Research Topics
✍ Scribed by Thom Frühwirth (auth.), Tom Schrijvers, Thom Frühwirth (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 2008
- Tongue
- English
- Leaves
- 251
- Series
- Lecture Notes in Computer Science 5388 : Lecture Notes in Artificial Intelligence
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
✦ Subjects
Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Techniques; Algorithm Analysis and Problem Complexity; Database Management
📜 SIMILAR VOLUMES
<p><P>The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. </P><P>The CHR language saw the light more than 15 y
Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online
Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online