Sta znaci na Engleskom ОГРАНИЧЕЊЕ ПРОДАВНИЦЕ - prevod na Енглеском

• constraint store

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

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

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

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

Друга употреба обележавања либерала је заправо да одреди процену варијабли које задовољава ограничење продавнице.
The second use of the labeling literal is to actually determine an evaluation of the variables that satisfies the constraint store.

Ова клаузула се користи за преписивање буквално само ако је G подразумевало ограничење продавнице и D је у складу са тим.
This clause is used to rewrite a literal only if G is entailed by the constraint store and D is consistent with it.

Прва употреба обележавања либерала је да стварне провере задовољивости или делимично задовољивости на ограничење продавнице.
The first use of the labeling literal is to actual check satisfiability or partial satisfiability of the constraint store.

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

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

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

Док покушава да докаже тај циљ, прва клаузула је примењива, али његова вредност додаје X< 0 за ограничење продавнице.
While trying to prove this goal, the first clause is applicable, but its evaluation adds X<0 to the constraint store.

У другом случају, када се процењује да је клаузула, преводилац први додаје X> 0 за ограничење продавнице, а онда евентуално оцењује B( X).
In the second case, when evaluating that clause, the interpreter first adds X>0 to the constraint store and then possibly evaluates B(X).

Овај додатак чини ограничење продавница unsatisfiable, а преводилац повлачи, уклањање последњег додатка од ограничење продавнице.
This addition makes the constraint store unsatisfiable, and the interpreter backtracks, removing the last addition from the constraint store.

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

Ова анализа може да подразумева рекурзивне позиве и додавање нових литерале до тренутног циља и новог ограничења за ограничење продавнице.
This analysis may involve recursive calls and addition of new literals to the current goal and new constraint to the constraint store.

Као резултат тога, ако је A( X) у ограничењу продавнице и B( X) подразумева ограничење продавнице, а затим се C( X) може додати продавници..
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 first rule is that labeling literals should be placed after as much constraints on the labeled literals are accumulated in the constraint store.

Таква клаузула је написана H:- G: D| B. Ова клаузула се користи за преписивање буквално само ако је G подразумевало ограничење продавнице и D је у складу са тим.
Such a clause is written H:- G: D|B. This clause is used to rewrite a literal only if G is entailed by the constraint store and D is consistent with it.

Логика програмирања одредби у вези са ограниченим правилима за руковање може да се користи за спецификацију метода за утврђивање задовољивости на ограничење продавнице.
Logic programming clauses in conjunction with constraint handling rules can be used to specify a method for establishing the satisfiability of the constraint store.

Као пример, вредновње гола A( X, 1) приходи са оцењивања тела првог дела реченице са Y=1; Ова процена додаје X> 0 за ограничење продавнице и тражи гол B( X, 1) да се докаже.
As an example, the evaluation of the goal A(X, 1) proceeds by evaluating the body of the first clause with Y=1; this evaluation adds X>0 to the constraint store and requires the goal B(X, 1) to be proved.

Пошто први циљ је ограничења( X'), друга клаузула се оцењује, а ова операција креће све ограничења у тренутном циљу и на крају у ограничење продавнице.
Since the first goal is constraints(X'), the second clause is evaluated, and this operation moves all constraints in the current goal and eventually in the constraint store.

Заиста, као преводилац додаје ограничења на ограничење продавнице, обавља наметања пропагирања да спроводи неку врсту локалне доследности, и ове операције може смањити домен варијабли.
Indeed, as the interpreter adds constraints to the constraint store, it performs constraint propagation to enforce a form of local consistency, and these operations may reduce the domain of variables.

Друго правило наводи да је друго ограничење последица првог, ако је ограничење у средини подразумева ограничење продавнице.
The second rule instead specifies that the latter constraint is a consequence of the first, if the constraint in the middle is entailed by the constraint store.

Грубо говорећи, свежа варијанта ове тачке може да се користи да се замени буквално у циљу само ако стражар подразумевао ограничење продавнице после једначине која је буквално и клаузула главе која се додаје на њега.
Roughly speaking, a fresh variant of this clause can be used to replace a literal in the goal only if the guard is entailed by the constraint store after the equation of the literal and the clause head is added to it.

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

У језику ограничење логика програмирања подржава ограничење руковања правила, програмер може да користи ова правила да прецизира могући rewritings на ограничење продавнице и могуће допуне ограничења према њему.
In a constraint logic programming language supporting constraint handling rules, a programmer can use these rules to specify possible rewritings of the constraint store and possible additions of constraints to it.

Ако циљ не може бити преписан јер све клаузуле које би се могле користити имају стражара који не подразумева ограничење продавнице, процес решавања тог циља је блокиран док ће други процеси додати ограничења која су неопходна да подразумевају стражу од најмање једне од важећих одредаба.
If a goal cannot be rewritten because all clauses that could be used have a guard that is not entailed by the constraint store, the process solving this goal is blocked until the other processes add the constraints that are necessary to entail the guard of at least one of the applicable clauses.

Домаин специфична ограничења могу доћи до ограничења продавница до тела клаузула и до изједначавања буквално са клаузулном главом: на пример, ако преводилац преписује дословно A( X+2) са клаузулом чије свеже варијанта глава A( Y/ 2), ограничење X+2=Y/ 2 додаје се у ограничење продавнице.
Domain-specific constraints may come to the constraint store both from the body of a clauses and from equating a literal with a clause head: for example, if the interpreter rewrites the literal A(X+2) with a clause whose fresh variant head is A(Y/2), the constraint X+2=Y/2 is added to the constraint store.

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

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

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