Constraint Logic Programming over Finite Domains

• CLPFD Intro:
• CLPFD Interface:
• Available Constraints:
• Enumeration Predicates:
• Statistics Predicates:
• Answer Constraints:
• The Constraint System:
• Defining Global Constraints:
• Defining Primitive Constraints:
• Example Programs:
• Syntax Summary: