Sta znaci na Srpskom CONSTRAINT STORE - prevod na Српском

• ограничење продавница
• ограничена продавница
• ограничење продавнице
• ограничења продавнице
• ограничењу продавнице

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

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

The constraint store extends the concept of current substitution in two ways.
Ограничење продавница проширује концепт тренутне замене на два начина.

Initially, the current goal is the goal and the constraint store is empty.
У почетку, тренутни циљ је циљ и ограничена продавница је празна.

The constraint store of this second pair is considered the result of the evaluation.
Ограничење продавница овог другог пара сматра се резултатом процене.

The evaluation of the second clause adds X=1 and Y>0 to the constraint store.
Евалуација друге клаузуле додаје X=1 и Y> 0 за ограничење продавнице.

In principle, whenever the constraint store is unsatisfiable the algorithm could backtrack.
У принципу, кад год је ограничење продавница unsatisfiable алгоритам може да одустане.

This operation may not detect inconsistency even if the constraint store is unsatisfiable.
Ова операција не може детектовати недоследност чак и ако је ограничење продавница unsatisfiable.

The constraint store contains the constraints that are currently assumed satisfiable.
Ограничење продавница садржи задовољива ограничења која су тренутно преузета.

This evaluation adds X>0 to the constraint store and requires the goal B(X, 1) to be proved.
Ова процена додаје X> 0 за ограничење продавнице и тражи гол B( X, 1) да се докаже.

The first element of this pair is called current goal; the second element is called constraint store.
Први елемент овог пара се зове тренутни циљ; Други елемент се зове ограничење продавнице.

More efficient methods for allowing the constraint store to return to a previous state exist.
Ефикаснијих метода за дозвољавајуће ограничење продавница да се врати у претходно стање постоји.

The constraint store contains all constraints the interpreter has assumed satisfiable so far.
Ограничена продавница садржи све задовољиве препреке преводиоца које је до сада преузела.

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

This is because the constraint store contains all constraints assumed satisfiable to prove the goal.
То је зато што ограничење продавница садржи све препреке претпоставља задовољиве да докажу циљ.

The literal labeling(X') is then evaluated, forcing a search for a solution of the constraint store.
Буквално означавање( X') се онда процењују, због чега је потрага за решење о ограничењу продавнице.

If the domain of a variable becomes empty, the constraint store is inconsistent, and the algorithm backtracks.
Ако се домен променљиве испразни, ограничење продавница је недоследно, и алгоритам се повлачи.

However, the constraint store may also contain constraints in the form t1!=t2, if the difference!
Међутим, ограничење продавница може да садржи и ограничења у виду t1! =t2, ако су разлике!

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

In particular, the constraint store is checked for consistency every time a new constraint is added to it.
Посебно, ограничење продавница проверава доследност сваки пут када се ново ограничење додаје на њега.

On the other hand, in the second formulation the search is performed only when the constraint is already in the constraint store.
С друге стране, у другој формулацији се претрес врши само када је ограничење већ у ограничењу продавнице.

When only tree terms are allowed, the constraint store contains constraints in the form t1=t2;
Када су дозвољени само дрво услови, ограничење продавница садржи ограничења у виду t1=t2;

However, the constraint store may also contain constraints in the form t1!=t2, if the difference!= between terms is allowed.
Међутим, ограничење продавница може да садржи и ограничења у виду t1! =t2, ако су разлике!= између термини дозвољене.

When the interpreter adds a constraint to the constraint store, it only enforces a form of local consistency on it.
Када преводилац додаје ограничење за ограничење продавнице, он само спроводи један облик локалне доследности у томе.

Since the constraint store is satisfiable and no other literal is left to prove, the interpreter stops with the solution X=1, Y=1.
Пошто је ограничење продавница задовољиво и ниједна друга буквално није је остала да се докаже, преводилац престаје са решењем X=1, Y=1.

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

Since the constraint store after the addition of X>0 turns out to be inconsistent, the recursive evaluation of B(X) is not performed at all.
Од ограничења продавнице после додавања X> 0 испостави се да нису у складу, рекуезивна евалуација B( X) се не обавља уопште.

Different clauses are used to implement the different choices of the method; the constraint handling rules are used for rewriting the constraint store during execution.
Различите клаузуле се користе за спровођење различитих избора метода; ограничено руковање правила се користе за кориговање ограничења продавнице током извршења.

The constraint store is unsatisfiable if a variable is bound to take both a value of the specific domain and a functor applied to terms.
Ограничење продавница је unsatisfiable ако је променљива у обавези да предузме обе вредности специфичне области и функтора примењен на услове.

The semantics of constraint logic programming is parametric not only to the kind of constraints used but also to the method for rewriting the constraint store.
Семантика ограничења логике програмирања је параметарско не само на врсту ограничења користи, али и методи за преправљање ограничења продавнице.

As a result, if A(X) is in the constraint store and B(X) is entailed by the constraint store, then C(X) can be added to the store..
Као резултат тога, ако је A( X) у ограничењу продавнице и B( X) подразумева ограничење продавнице, а затим се C( X) може додати продавници..