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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive
The system combines Prolog implementation technology with a specialized
incremental constraint solver. Considerable effort has gone into the design and implementation of this compiler and the core CLAM instruction set, so that the compiler can perform many local optimizations.
An
Incremental Constraint Solver A constraint describes a relation that should be satisfied.
Copyright © 2003-2025 Farlex, Inc
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.