Next: lib-clpqr, Previous: lib-clpb, Up: The Prolog Library [Contents][Index]
library(clpfd)| • CLPFD Intro | Introduction | |
| • CLPFD Glossary | Glossary | |
| • CLPFD Desiderata | Desiderata | |
| • CLPFD Annotations | Constraint and Predicate Annotations | |
| • CLPFD Caveats | Caveats | |
| • CLPFD Interface | Solver Interface | |
| • Available Constraints | Available Constraints | |
| • Enumeration Predicates | Enumeration Predicates | |
| • Statistics Predicates | Statistics Predicates | |
| • Answer Constraints | Answer Constraints | |
| • CLPFD Debugging | Debugging | |
| • Defining Global Constraints | Defining Global Constraints | |
| • Defining Indexical Constraints | Defining Indexical Constraints | |
| • CLPFD Coexisting | Coexisting with Attributes and Blocked Goals | |
| • CLPFD Example Programs | Example Programs | |
| • Syntax Summary | Syntax Summary |