CS-Prolog: A Generalized Unification Based Constraint Solver.
Toshio KawamuraHayato OhwadaFumio MizoguchiPublished in: LP (1987)
Keyphrases
- query expansion
- constraint solver
- constraint logic programming
- constraint solving
- constraint propagation
- constraint programming
- constraint satisfaction problems
- linear constraints
- constraint satisfaction
- theorem proving
- knowledge representation
- logic programming
- sat solvers
- programming language
- real numbers
- expert systems
- computer science
- video sequences
- search space
- np hard
- arc consistency
- path consistency