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

• ограничење логике
• ограничење логичког
• принудно логичко
• принудном логичком
• ограничења логике

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

A constraint logic program is a set of clauses of the form.
Принудни логички програм је скуп клаузула у облику.

Adding a constraint to the store is done like in regular constraint logic programming.
Додавање препрека за продавницу врши се као у редовном принудном логичком програмирању.

Concurrent constraint logic programming chooses only one.
Упоредно ограничење логике програмирања бира само једну.

Today most Prolog implementations include one or more libraries for constraint logic programming.
Данас већина имплементација Prolog-а укључује једну или више библиотека за принудно логичко програмирање.

Constraint logic programming was introduced by Jaffar and Lassez in 1987.
Ограничење логике програмирања увели су Јаффар и Лассез у 1987.

The first implementations of constraint logic programming were Prolog III, CLP(R), and CHIP.
Прве имплементације принудног логичког програмирања биле су Prolog II, CLP( R), и CHIP.

Constraint logic programming with real numbers uses real expressions as terms.
Ограничење логике програмирање са реалних бројева користи праве изразе и термине.

The result of evaluating a goal against a constraint logic program is defined if the goal is proved.
Резултат процене за циљ против ограничене логике програма је дефинисан ако је циљ доказан.

A given constraint logic program may be reformulated to improve its efficiency.
Дато ограничење логике програма се може преформулисати да побољша своју ефикасност.

Guards require a syntactic extension: a clause of concurrent constraint logic programming is written as H:- G|.
Стражари захтевају синтаксичко продужење: клаузуле у истовременом принудном логичком програмирању су написане као H:- G|.

The following constraint logic program represents a toy temporal database of john's history as a teacher.
Пратећи принудни логички програм представља играчку временске базе Џонове историје као наставник.

As an example, X>0 is a constraint, and is included in the last clause of the following constraint logic program.
Као пример, X> 0 је ограничење, а укључена је у последњој клаузули следећег принудног логичког програма.

Formally, the semantics of constraint logic programming is defined in terms of derivations.
Формално, семантика принудне логике програмирања је дефинисана у смислу извођења.

The first host languages used were logic programming languages, so the field was initially called constraint logic programming.
Први језици домаћина који су коришћени су били језици логичке парадигме, тако да је ова област првобитно названа принудно логичко програмирање.

A constraint logic program is a logic program that contains constraints in the body of clauses.
Принудни логички програм је логика програма који садржи ограничења у телу клаузула.

A constraint satisfaction problem is typical solved by a constraint logic program having the following structure.
Проблем задовољство ограничење је типично решење ограничења логике програма који има следећу структуру.

Constraint logic programming combines Horn clause logic programming with constraint solving.
Принудно логичко програмирање комбинује Хорн клаузуле логичког програмирања са ограниченим решавањем.

When the guards of several clauses are satisfied, concurrent constraint logic programming makes a committed choice to use only one.
Када су задовољни стражари неколико клаузула, истовремено ограничење логичког програмирања чини посвећен избор на употребу само једног.

Constraint logic programming is a logic programming extension that includes concepts from constraint satisfaction.
Принудно логичко програмирање је облик принуде програма, у којем логика програмирања је проширена на концепте за ограничење задовољства.

Different definitions of terms are used, generating different kinds of constraint logic programming: over trees, reals, or finite domains.
Различите дефиниције термина се користе, стварајући различите врсте принуда логичког програмирања: преко дрвећа, реалних бројева или коначних домена.

The concurrent versions of constraint logic programming are aimed at programming concurrent processes rather than solving constraint satisfaction problems.
Истовремене верзије принудног логичког програмирања немају за циљ програмирање истовремених процеса, него решавања проблема ограничења задовољства.

Constraint programming Constraint programming can be expressed in the form of constraint logic programming, which embeds constraints into a logic program.
Програмирање ограничења се може изразити у облику принудног логичког програмирања, које уграђује ограничења у логичко програмирање.

In constraint logic programming, the goals in the current goal are evaluated sequentially, usually proceeding in a LIFO order in which newer goals are evaluated first.
У ограничење логичког програмирање, циљеви у текућем циљу се редом процењују, обично одвијају у ЛИФО поредку у којем новији циљеви се прво процењује.

Guards require a syntactic extension: a clause of concurrent constraint logic programming is written as H:- G| B where G is a constraint called the guard of the clause.
Стражари захтевају синтаксичко продужење: клаузуле у истовременом принудном логичком програмирању су написане као H:- G| B где је G препрека и зове стражу на клаузуле.

Constraint logic programming with tree terms emulates regular logic programming by storing substitutions as constraints in the constraint store.
Ограничење логике програмирање са три термина опонаша редовну логику програмирања складиштења супституције као ограничења у ограниченој продавници.

A second effect of the difference between the non-concurrent and the concurrent version is that concurrent constraint logic programming is specifically designed to allow processes to run without terminating.
Други ефекат разлика између не-конкурентне и истовремене верзије је да је истовремено ограничење логика програмирања специјално дизајнирано да омогући процесе да раде без престанка.

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.
Семантика ограничења логике програмирања је параметарско не само на врсту ограничења користи, али и методи за преправљање ограничења продавнице.

Most notably, this difference affects how the interpreter behaves when more than one clause is applicable: non-concurrent constraint logic programming recursively tries all clauses; concurrent constraint logic programming chooses only one.
Пре свега, та разлика утиче на то како се преводилац понаша када се више од једне клаузуле примењује: не истовремено ограничење логике програмирања рекурсивно бира све клаузуле; упоредно ограничење логике програмирања бира само једну.

Constrained conditional model- Constraint logic programming- is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction.
Принудно логичко програмирање је облик принуде програма, у којем логика програмирања је проширена на концепте за ограничење задовољства.

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