Try Our Apps


Blech. These are the grossest words.

incremental constraint solver

incremental constraint solver in Technology

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.

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source

Word of the Day

Word Value for incremental

Scrabble Words With Friends

Nearby words for incremental constraint solver