单词 |
incremental constraint solver |
释义 |
incremental constraint solver incremental constraint solverA system in which a constraint solver is given constraintsone at a time by an inference engine (as is found inProlog). The solver adds the new constraint to an initiallyempty set of solved constraints. If the new constraint isconsistent with the solved constraints it will be added to theset. If it was inconsistent, the inference enginebacktracks. This is the basis of Constraint Logic Programming. |
随便看 |
|