| slovo | definícia |
incremental constraint solver
(foldoc) | 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}.
(1994-11-01)
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4