Next:
11.1 Introduction
Up:
The XSB System Version
Previous:
10.4 Special Notes about
Contents
Index
11. Constraint Handling Rules
Subsections
11.1 Introduction
11.2 Syntax and Semantics
11.2.1 Syntax
11.2.2 Semantics
11.2.2.0.1 Rule Types
11.2.2.0.2 Rule Names
11.2.2.0.3 Pragmas
11.3 CHR in XSB Programs
11.3.1 Embedding in XSB Programs
11.3.2 Compilation
11.4 Useful Predicates
11.5 Examples
11.6 CHR and Tabling
11.6.1 General Issues and Principles
11.6.2 Call Abstraction
11.6.3 Answer Projection
11.6.3.0.1 Example
11.6.4 Answer Combination
11.6.4.0.1 Example
11.6.5 Overview of Tabling-related Predicates
11.7 Guidelines
11.8 CHRd
Terrance Swift 2007-10-06