Примери коришћења Literals на Енглеском и њихови преводи на Српски
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Latin
-
Cyrillic
The label literals are used to actually perform search for a solution.
The current domain of a variable can be inspected using specific literals;
Literals can be divided into two types: A positive literal is just an atom.
Литерали се могу поделити у два типа: Позитивни литерал је само атом.Where the Bi are arbitrary literals(defined or abducible, and atomic or negated).
Где су Bi произвољни литерали( дефинисани или абдуктивни, и атомски или негативни).For every constant leaf node(RHS of an operation- literals, values), assign a 0.
Сваком константном чвору који је лист( RHS операције- литерали, вредности), додели 0.Pure literals can always be assigned in a way that makes all clauses containing them true.
Чисти литерали могу увек бити додељени на начин који чине све клаузе које их садрже тачне.A second reformulation that can increase efficiency is to place constraints before literals in the body of clauses.
Други реформулација која може повећати ефикасност је да поставите ограничења пред речи у телу клаузула.Delete all negated literals containing variables that don't occur in a positive literal: .
Обриши све негиране литерале који садрже варијабле које се не јављају у позитивним литералима.In this clause, X+Y>0 is a constraint;A(X, Y), B(X), and C(Y)are literals as in regular logic programming.
У овој клаузули, X+Y> 0 је ограничење; A( X, Y), B( X), иC( Y) су литерали као у редовном логичком програмирању.Literals for floating point numbers include a decimal point, and typically use e or E to denote scientific notation.
Литерали за реалне бројеве укључују децималну тачку, и обично користе„ e“ или„ E“ да означе научне записе.The conversion function string to a number ToNumber(string) added support for specifying binary literals(0b) and octal(0o) data;
У функцији линија конверзије између ТоНумбер( стринг) литерали додао подршку за одређивање бинарни( 0Б) и октално( 0о) податке;This is because labeling literals enforce search, and search is more efficient if there are more constraints to be satisfied.
То је зато што обележавања литерала спроводе претрагу, а претрага је ефикаснија ако постоје више ограничења да буду задовољни.It extends Horn clauses by allowing some predicates, declared as constraint predicates,to occur as literals in the body of clauses.
Простире Хорн клаузуле дозвољавајући неке предикате проглашене ограниченим предикатима,да се јављају као речи у телу клаузула.The current goal contains the literals the interpreter is trying to prove and may also contain some constraints it is trying to satisfy;
Садашњи циљ садржи литерал преводиоца покушава да докаже и може да садржи и нека ограничења да покушава да задовољи;As in regular logic programming,programs are queried about the provability of a goal, which may contain constraints in addition to literals.
Као и редовно логичко програмирање,програми се упита о вероватноћи циља, који може да садржи ограничења поред литерала.A proof for a goal is composed of clauses whose bodies are satisfiable constraints and literals that can in turn be proved using other clauses.
Доказ за циљ се састоји од клаузула чија су задовољива ограничења и литерали који могу да користе и друге клаузуле тела.This semantics formalizes the possible evolutions of an interpreter that arbitrarily chooses the literal of the goal to process and the clause to replace literals.
Семантика формализује могуће еволуције тумача да произвољно бира литерале у циљу процеса и клаузула да замени литерале.A first rule is that labeling literals should be placed after as much constraints on the labeled literals are accumulated in the constraint store.
Прво правило је да обележавања литерали ће бити постављено након што се више ограничења на обележеним литералима акумулира у ограничење продавнице.A prime implicant of a function is an implicant that cannot be covered by a more general,(more reduced- meaning with fewer literals) implicant.
Први( прост) импликант функције је импликант који не може бити покривен општијим( више редукованим- што значи са мањим бројем литерала) импликантом.Literals for characters and strings are usually surrounded by quotation marks: sometimes, single quotes(') are used for characters and double quotes(") are used for strings.
Литерали за знакове и ниске су обично окружени наводницима: понекад се, једноструки наводници(') користе за знакове а дупли наводници(") за ниске.The positive and negative examples are given as a conjunction E+{\displaystyle E^{+}} and E-{\displaystyle E^{-}} of unnegated andnegated ground literals, respectively.
Позитивни и негативни примери су дати као целина E+{\ displaystyle E^{+}} и E-{\ displaystyle E^{-}} од unnegated инегираних подземних литерала, респективно.Array and object literals Like many scripting languages, arrays and objects(associative arrays in other languages) can each be created with a succinct shortcut syntax.
Низ и литерали објеката Као и код многих програмских језика, низови и објекти( асоцијативни низови у другим језицима) се могу креирати помоћу скраћене синтаксе.The simplification step essentially removes all clauses that become true under the assignment from the formula, and all literals that become false from the remaining clauses.
Корак поједностављивања у суштини брише све клаузе које су постале тачне по додели из формуле, и сви литерали који су постали нетачни из преосталих клауза.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 је атомска форумула чији предикати јесу абдуктивни.Formally, constraint logic programs are like regular logic programs, but the body of clauses can contain constraints,in addition to the regular logic programming literals.
Формално, принудни логички програми су као редовне програмске логике, али тела клаузула могу дасадрже ограничења, поред редовних програмских логичких литерала.For the purposes of these tables, a, b, andc represent valid values(literals, values from variables, or return value), object names, or lvalues, as appropriate.
За потребе ових табела, a, b иc представљају важеће вриједности( литерале, вриједности варијабли или повратне вриједности), називе објеката или вриједности, по потреби.The current goal contains the literals the interpreter is trying to prove and may also contain some constraints it is trying to satisfy; the constraint store contains all constraints the interpreter has assumed satisfiable so far.
Садашњи циљ садржи литерал преводиоца покушава да докаже и може да садржи и нека ограничења да покушава да задовољи; ограничена продавница садржи све задовољиве препреке преводиоца које је до сада преузела.In other words, a goal is proved under this semantics if there exists a sequence of choices of literals and clauses, among the possibly many ones, that lead to an empty goal and satisfiable store.
Другим речима, циљ доказан овом семантиком ако постоји низ избора литерала и клаузула, међу многим евентуално оних, који доводе до празног циља и задовољиве продавнице.A goal G can be proved if there exists a derivation from⟨ G,∅⟩{\displaystyle\langle G,\emptyset\rangle} to⟨∅, S⟩{\displaystyle\langle\emptyset,S\rangle} for some satisfiable constraint store S. This semantics formalizes the possible evolutions of an interpreter that arbitrarily chooses the literal of the goal to process and the clause to replace literals.
А циљ G може доказати да ли постоји извођење из G, 0 у 0, S за неко задовољиво ограничење продавница S. Семантика формализује могуће еволуције тумача да произвољно бира литерале у циљу процеса и клаузула да замени литерале.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.
Типично, ограничења логичких програма су написани на такав начин да се обележавања литерали оцењује тек након што се више ограничења могу акумулирати у ограничење продавнице.
