Keyphrases
- constraint logic programming
- constraint solving
- logic programming language
- logic programming
- answer set programming
- constraint programming
- planning problems
- constraint propagation
- temporal reasoning
- knowledge representation
- proof theoretic
- heuristic search
- programming paradigms
- path finding
- integrity constraints
- logic programs
- general purpose