Content deleted Content added
rv - please do not modify other people' |
was: please do not modifiy other people's comments |
||
Line 13:
Proposal:
# Constraint programming is actually the embedding of constraints of [[constraint satisfaction problem]]s into a programming language; I would not consider a [[constraint satisfaction problem]] itself a form of "constraint program";
# [[constraint logic programming]] is a form of constraint programming, but is not the only one
# I would remove the fact that constraint programming is Turing-complete, as this depends on the specific programming paradigm used (in particular, solving a CSP is not a Turing-complete problem)
| |||