incremental constraint solver

incremental constraint solver

A system in which a constraint solver is given constraints one at a time by an inference engine (as is found in Prolog). The solver adds the new constraint to an initially empty set of solved constraints. If the new constraint is consistent with the solved constraints it will be added to the set. If it was inconsistent, the inference engine backtracks. This is the basis of Constraint Logic Programming.
References in periodicals archive ?
The system combines Prolog implementation technology with a specialized incremental constraint solver.
An Incremental Constraint Solver A constraint describes a relation that should be satisfied.
The incremental constraint solver described in this article exploits the fact that the user's actions often have only local effects on the constraint hierarchy.

Full browser ?