Примери коришћења Predicates на Енглеском и њихови преводи на Српски
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
There are two predicates.
Horn clause programs can only represent state change by the change in arguments to predicates.
Хорн клаузуле програма могу само да представљају државну промену променом аргумената за предикате.Expressions can be created inside predicates using the operators:=,!=,<=,<.
Изрази се могу креирати унутар предиката коришђењем оператора:=,!=.Thus abductive explanations extend the logic program P by the addition of full orpartial definitions of the abducible predicates.
Тако абдуктивна објашњења продужују логику програма P додавањем потпуним илиделимичним дефиницијама абдуцибле предиката.Here≤ and< are constraint predicates, with their usual intended semantics.
Овде ≤ и< су ограничени предикати, са својим уобичајеним жељеним семантикама.The architecture implements 128 integer registers, 128 floating point registers,64 one-bit predicates, and eight branch registers.
Архитектура имплементира 128 integer регистра, 128 floating point регистра,64 једнобитних предиката и осам регистра гранања.Write queries that use EXISTS predicates in a WHERE clause to test for the existence of qualifying rows.
Упити упите који користе ЕКСИСТС предикате у ВХЕРЕ клаузули како би тестирали постојање квалификационих редова.Filtering Data with Predicates.
Филтрирање података са предикатима.The syntax tree is expressed by the arc predicates which represent the dependencies between the words of the sentence.
Синтакса дрво је изражена од стране лука предиката који представљају зависност између речи осуде.More complex expressions can be constructed by specifying an axis other than the default'child' axis,a node test other than a simple name, or predicates, which can be written in square brackets after any step.
Сложенији изрази се могу направити наводећи неку осу различиту од подразумеване' дете' осе,чвор тест различит од обичног имена или предиката који могу бити записани у угластим заградама после сваког корака.It extends Horn clauses by allowing some predicates, declared as constraint predicates, to occur as literals in the body of clauses.
Простире Хорн клаузуле дозвољавајући неке The abducibles, A, declare all ground instances of the predicates"amount" as assumable.
Абдуциблес А, прогласи све копнене инстанце предикатима" количина" као ассумабле.Paths specified in predicates begin at the context of the current step(i.e. that of the immediately preceding node test) and do not alter that context.
Путање наведене у предикатима почињу од контекста текућег корака( на пример од непосредно претходног теста чвора) и не мењају тај контекст.In logic programming languages,often all subroutines are called predicates, since they primarily determine success or failure.
У логици програмских језика,често све потпрограме зову предикатима, јер су пре свега одређују успех или неуспех.In his 1943 paper Recursive Predicates and Quantifiers Kleene proposed his"THESIS I": This heuristic fact… led Church to state the following thesis(22).
У свом раду 1943 Рекурзивни Предикати и квантификатори Клини је предложио своју" ТЕЗУ И":" Ова хеуристичка чињеница… довела је Черча да наведе следећу тезу( 22).(b) Extended normal logic programming by allowing some predicates to be incompletely defined.
Простире се нормално логика програмирања дозвољавајући неким предикатима да буду непотпуно дефинисани, проглашава их абдуцибле Note also, index values in XPath predicates(technically,'proximity positions' of XPath node sets) start from 1, not 0 as common in languages like C and Java.
Још треба приметити да, индекси у XPath предикатима( технички,' удаљености положаја' XPath скупова чворова), почињу од 1, а не од 0, као што је уобичајно у језицима као ћто су C или Јава.When defining elements of the user's controller to be exposed to the web,repoze. what predicates define who can access them and under what conditions.
Приликом дефинисања елемената корисничких контролора да буду изложени на вебу, repoze.what предикати дефинишу ко им може приступити и под којим условима.In it one would deny two contradictorily opposite predicates of the subject of the judgment, but only because the whole category of these predicates would be inapplicable to that subject.
U njoj bi se subjektu suda odricala dva kontradiktorno suprotna predikata, ali samo zato što cela kategorija tih predikata ne bi bila primenljiva na taj subjekt.Key difference: Nominalism is a philosophical view in which general orabstract terms and predicates exist, while universal or abstract objects do not exist.
Кључна разлика: Номинализам је филозофски поглед укојем постоје опћи или апстрактни појмови и предикати, док универзални или апстрактни објекти не постоје.Users can define authorization rules based on predicates attached to controllers, the framework already provides some built-in predicates, but custom ones can be written.
Корисници могу дефинисати правила ауторизације на предикатима који су повезани на контролорима, фрејмворк већ доприноси неке уграђене предитаке, али оне ручне могу бити написане посебно.For Platonism the identification of the“essence” of each thing with its Divine idea is characteristic, the endowment of substances with absolute and eternal(beginningless)properties and predicates, as well as the introduction of the“idea” into real things.
За платонозам је карактеристично поистовећивање суштине у свакој ствари са њеном Божанском идејом? додељивање супстанцији апсолутних ивечних( беспочетних) својстава и предиката, и увођење“ идеје” унутар ствари.Expressions can be created inside predicates using the operators:=,!=,<=,<,>= and>
Изрази се могу креирати унутар предиката коришђењем оператора:=,!=,<=,<,>= и:>Procedurally, subgoals whose predicates are defined by the program are solved by goal-reduction, as in ordinary logic programming, but constraints are checked for satisfiability by a domain-specific constraint-solver, which implements the semantics of the constraint predicates. .
Процедурално, субгоалс чији предикате су дефинисани програмом се решава гол-редукције, као у обичном логичко програмирање, али ограничења су проверени за задовољивости од домена специфичне ограничење-солвер, који спроводи семантику ограничење предиката.It is a philosophical view in which general orabstract terms and predicates exist, while universal or abstract objects do not exist.
То је филозофски поглед укојем постоје опћи или апстрактни појмови и предикати, док универзални или апстрактни објекти не постоје.But if now one denies these two predicates, not together, but separately, it appears as if the contradictory opposite of the predicate which in each case is denied were proved of the subject of the judgment.
Ako se, međutim, njemu ta dva predikata odriču ne zajedno već pojedinačno, stiče se utisak da se kod njega dokazuje predikat kontradiktoran predikatu koji mu se odriče u tom trenutku.Where H is an atomic formula that is not abducible,all the Bi are literals whose predicates are not abducible, and the Ai are atomic formulas whose predicates are abducible.
Где је H је атомска формула која није абдуктивна.сви Bi су литерали чији предикати нисуз абдуктивни и Ai је атомска форумула чији предикати јесу абдуктивни.Abductive logic programs have three components,⟨ P, A, I C⟩,{\displaystyle\langle P, A, IC\rangle,} where: P is a logic program of exactly the same form as in logic programming A is a set of predicate names,called the abducible predicates IC is a set of first-order classical formulae.
Абдуктивни логички програми имају три компоненте,⟨ P, A, I C⟩,{\ displaystyle\ langle P, A, IC\ rangle,} где: P је логика програма у потпуно истом облику као у логичком програмирању А је скуп предикатских имена,звани абдукибле предиката IC је скуп првог реда класичних формула.It extends normal logic programming by allowing some predicates to be incompletely defined, declared as abducible predicates.
Простире се нормално логика програмирања дозвољавајући неким предикатима да буду непотпуно дефинисани, проглашава их абдуцибле предикатима.Mary is a citizen.together with the five abducible predicates,"is born in the USA","is born outside the USA","is a resident of the USA","is naturalized" and"is registered" and the integrity constraint: false if John is a resident of the USA.
Мери је грађанин.заједно са пет абдуцибле предиката" је рођен у САД"," је рођен изван САД"," је становник САД"," је натурализовани" и" регистровани и интегритет ограничење: лаж ако је Џон становник САД.
