ОГРАНИЧЕЊЕ ПРОДАВНИЦА - превод на Енглеском

• constraint store

Примери коришћења Ограничење продавница на Српском и њихови преводи на Енглески

се зове тренутни циљ; Други елемент се зове ограничење продавнице.
the second element is called constraint store.

ова операција креће све ограничења у тренутном циљу и на крају у ограничење продавнице.
this operation moves all constraints in the current goal and eventually in the constraint store.

други термин може да замени променљиву у тренутном циљу и ограничење продавнице, тако практично уклања променљиву из разматрања.
the other term can replace the variable in the current goal and constraint store, thus practically removing the variable from consideration.

новог ограничења за ограничење продавнице.
new constraint to the constraint store.

преводилац први додаје X> 0 за ограничење продавнице, а онда евентуално оцењује B( X).
the interpreter first adds X>0 to the constraint store and then possibly evaluates B(X).

Прво правило је да обележавања литерали ће бити постављено након што се више ограничења на обележеним литералима акумулира у ограничење продавнице.
A first rule is that labeling literals should be placed after as much constraints on the labeled literals are accumulated in the constraint store.

и препише ограничење продавници када је модификована.
and rewrite the constraint store when it is modified.

Након ограничења се додаје ограничење продавнице, неке операције се изводе на ограничење продавнице.
After a constraint is added to the constraint store, some operations are performed on the constraint store.

Типично, ограничења логичких програма су написани на такав начин да се обележавања литерали оцењује тек након што се више ограничења могу акумулирати у ограничење продавнице.
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.

његова вредност додаје X< 0 за ограничење продавнице.
its evaluation adds X<0 to the constraint store.

је A( X) у ограничењу продавнице и B( X) подразумева ограничење продавнице, а затим се C( X)
is in the constraint store and B(X) is entailed by the constraint store,

што може довести до доказивања недоследности о ограничењу продавнице, а може генерално смањити количину потраге потребне да успостави своју задовољивости.
which may lead to proving inconsistency of the constraint store, and may generally reduce the amount of search needed to establish its satisfiability.

Од ограничења продавнице после додавања X> 0 испостави се да нису у складу,
Since the constraint store after the addition of X>0 turns out to be inconsistent,

Специфичне методе које се користе у пракси замене ограничења продавнице са једним који је једноставније да реши.
The specific methods used in practice replace the constraint store with one that is simpler to solve.

због чега је потрага за решење о ограничењу продавнице.
forcing a search for a solution of the constraint store.

методи за преправљање ограничења продавнице.
also to the method for rewriting the constraint store.

ограничено руковање правила се користе за кориговање ограничења продавнице током извршења.
the constraint handling rules are used for rewriting the constraint store during execution.