Примери коришћења Constraint store на Енглеском и њихови преводи на Српски
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
However, the constraint store may also contain constraints in the form t1!=t2, if the difference!
the other term can replace the variable in the current goal and constraint store, thus practically removing the variable from consideration.
други термин може да замени променљиву у тренутном циљу и ограничење продавнице, тако практично уклања променљиву из разматрања.On the other hand, in the second formulation the search is performed only when the constraint is already in the constraint store.
С друге стране, у другој формулацији се претрес врши само када је the first constraint is removed from the constraint store.
прво finite domains are allowed, the constraint store may also contain domain-specific constraints like X+2=Y/2, etc.
преко реалних бројева или коначних домена, ограничење продавница такође може да садржи домен-специфична new constraint to the constraint store.
новог When rewriting a literal in the goal, the only considered clauses are those whose guard is entailed by the union of the constraint store and the equation of the literal with the clause head.
Када поновно писање литерала у циљу, једини клаузуле су оне чији стражар подразумева уније о ограничењу продавнице и буквалне једначине са клаузулом у глави.This addition makes the constraint store unsatisfiable, and the interpreter backtracks,
Овај додатак чини ограничење продавница unsatisfiable, а преводилац повлачи,the interpreter first adds X>0 to the constraint store and then possibly evaluates B(X).
преводилац први додаје X> 0 за ограничење продавнице, а онда евентуално оцењује B( X).If the constraint store is unsatisfiable, this simplification may detect this unsatisfiability sometimes, but not always.
Ако је ограничење продавница unsatisfiability, ово поједностављивање може открити овај unsatisfiability понекад, али не увек.A first rule is that labeling literals should be placed after as much constraints on the labeled literals are accumulated in the constraint store.
Прво правило је да обележавања литерали ће бити постављено након што се више ограничења на обележеним литералима акумулира у ограничење продавнице.A successful termination is generated when the current goal is empty and the constraint store is satisfiable.
Успешан престанак се генерише када је струја циљ празна и ограничење продавница задовољиво.After a constraint is added to the constraint store, some operations are performed on the constraint store.
Након The interpreter has proved the goal when the current goal is empty and the constraint store is not detected unsatisfiable.
Преводилац је доказао циљ када је струја циља празна, а ограничење продавница није откривено unsatisfiable.Typically, constraint logic programs are written in such a way labeling literals are evaluated only after as many constraints as possible have been accumulated in the constraint store.
Типично, The second use of the labeling literal is to actually determine an evaluation of the variables that satisfies the constraint store.
Друга употреба обележавања либерала је заправо да одреди процену варијабли које задовољава ограничење продавнице.partial satisfiability of the constraint store.
делимично задовољивости на ограничење продавнице.Logic programming clauses in conjunction with constraint handling rules can be used to specify a method for establishing the satisfiability of the constraint store.
Логика програмирања одредби у вези са ограниченим правилима за руковање може да се користи за спецификацију метода за утврђивање задовољивости на ограничење продавнице.its evaluation adds X<0 to the constraint store.
његова вредност додаје X< 0 за ограничење продавнице.In particular, one may just save the changes to the constraint store made between two points of choice,
Конкретно, само да сачувате промене на ограничење продавници постигнут између две тачке избора,
