How Constraint Logic Programming Unlocks Constraint Technology.
Mark WallacePublished in: PACT (1997)
Keyphrases
- constraint logic programming
- constraint solving
- constraint solver
- finite domain
- logic programming language
- global constraints
- constraint propagation
- constraint satisfaction problems
- case study
- logic programming
- constraint programming
- answer set programming
- constraint satisfaction
- proof theoretic
- programming paradigms