incremental constraint solver
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of incremental constraint solver words
- noun Technical meaning of 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. 1
Information block about the term
Parts of speech for Incremental constraint solver
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with i
- Words starting with in
- Words starting with inc
- Words starting with incr
- Words starting with incre
- Words starting with increm
- Words starting with increme
- Words starting with incremen
- Words starting with increment
- Words starting with incrementa
- Words starting with incremental
- Words starting with incrementalc
- Words starting with incrementalco
- Words starting with incrementalcon
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?