Примери коришћења Ограничење продавница на Српском и њихови преводи на Енглески
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
Ограничење продавница проширује концепт тренутне замене на два начина.
У принципу, кад год је ограничење продавница unsatisfiable алгоритам може да одустане.
In principle, whenever the constraint store is unsatisfiable the algorithm could backtrack.Ограничење продавница овог другог пара сматра се резултатом процене.
The constraint store of this second pair is considered the result of the evaluation.Ова операција не може детектовати недоследност чак и ако је ограничење продавница unsatisfiable.
This operation may not detect inconsistency even if the constraint store is unsatisfiable.Ограничење продавница садржи задовољива ограничења која су тренутно преузета.
The constraint store contains the Combinations with other parts of speech
Ефикаснијих метода за дозвољавајуће ограничење продавница да се врати у претходно стање постоји.
More efficient methods for allowing the constraint store to return to a previous state exist.Успешан престанак се генерише када је струја циљ празна и ограничење продавница задовољиво.
A successful termination is generated when the current goal is empty and the constraint store is satisfiable.Ако се домен променљиве испразни, ограничење продавница је недоследно, и алгоритам се повлачи.
If the domain of a variable becomes empty, the constraint store is inconsistent, and the algorithm backtracks.То је зато што ограничење продавница садржи све препреке претпоставља задовољиве да докажу циљ.
This is because the constraint store contains all Када су дозвољени само дрво услови, ограничење продавница садржи ограничења у виду t1=t2;
When only tree terms are allowed, the constraint store contains Међутим, ограничење продавница може да садржи и ограничења у виду t1! =t2, ако су разлике!
However, the constraint store may also contain Преводилац је доказао циљ када је струја циља празна, а ограничење продавница није откривено unsatisfiable.
The interpreter has proved the goal when the current goal is empty and the constraint store is not detected unsatisfiable.Посебно, ограничење продавница проверава доследност сваки пут када се ново ограничење додаје на њега.
In particular, the constraint store is checked for consistency every time a new Када су дозвољени ограничења преко реалних бројева или коначних домена, ограничење продавница такође може да садржи домен-специфична ограничења као што су X+2=Y/ 2, итд.
When Ако је ограничење продавница unsatisfiability, ово поједностављивање може открити овај unsatisfiability понекад, али не увек.
If the constraint store is unsatisfiable, this simplification may detect this unsatisfiability sometimes, but not always.Када су дозвољени ограничења преко реалних бројева или коначних домена, ограничење продавница такође може да садржи домен-специфична ограничења као што су X+2=Y/ 2, итд Ограничење продавница проширује концепт тренутне замене на два начина.
When Међутим, ограничење продавница може да садржи и ограничења у виду t1! =t2, ако су разлике!= између термини дозвољене.
However, the constraint store may also contain Ограничење продавница је unsatisfiable ако је променљива у обавези да предузме обе вредности специфичне области и функтора примењен на услове.
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, а преводилац повлачи, уклањање последњег додатка од ограничење продавнице. .
This addition makes the constraint store unsatisfiable, and the interpreter backtracks, removing the last addition from the Пошто је ограничење продавница задовољиво и ниједна друга буквално није је остала да се докаже, преводилац престаје са решењем X=1, Y=1.
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> 0 за ограничење продавнице.
The evaluation of the second clause adds X=1 and Y>0 to the constraint store.Други елемент се зове ограничење продавнице.
The second element is called constraint store.Ограничено руковање правила се користе за кориговање ограничења продавнице током извршења.
The Конкретно, само да сачувате промене на ограничење продавници постигнут између две тачке избора, укључујући и промене на старим ограничења. .
In particular, one may just save the changes to the constraint store made between two points of choice, including the changes made to the old Када преводилац додаје ограничење за ограничење продавнице, он само спроводи један облик локалне доследности у томе.
When the interpreter adds a Ова процена додаје X> 0 за ограничење продавнице и тражи гол B( X, 1) да се докаже.
This evaluation adds X>0 to the constraint store and requires the goal B(X, 1) to be proved.Заиста, као преводилац додаје ограничења на ограничење продавнице, обавља наметања пропагирања да спроводи неку врсту локалне доследности, и ове операције може смањити домен варијабли.
Indeed, as the interpreter adds Ове операције су усмерене на доношење ограничења продавница једноставније да се провери за задовољивост и решење.
These operations are aimed at making the constraint store simpler to be checked for satisfiability and solved.Ови процеси интеракују преко ограничења продавница: процесима можете додати ограничења за ограничења продавница, док други проверава да ли је ограничење које подразумева радње.
These processes interact via the constraint store: a process can add a У пракси, задовољивости на ограничење продавници може се проверити помоћу непотпуних алгоритама, који не открије увек недоследност.
In practice, satisfiability of the constraint store may be checked using an incomplete algorithm, which does not always detect inconsistency.
