What is the translation of " CONSTRAINT PROGRAMMING " in Serbian?

• програмирање ограничења
• програма ограничења

Examples of using Constraint programming in English and their translations into Serbian

I am also interested in Constraint Programming.
Такође ме занима програмирање ограничења.

Constraint programming libraries for general-purpose programming languages.
Библиотеке програма ограничења за императивне програмске језике.

They are however used often in constraint programming.
Koriste se vrlo često u programiranju.

Constraint programming is an embedding of constraints in a host language.
Програмирање ограничења је уградња ограничења на језику домаћина.

Some languages that support constraint programming.
Неки језици који подржавају програмирање ограничења.

Constraint programming is often realized in imperative programming via a separate library.
Програмирање ограничења се често реализује у императивним језицима путем посебних библиотека.

Some popular domains for constraint programming are.
Неки од популарних домена за програмирање ограничења су.

Constraint programming often complements other paradigms: functional, logical, or even imperative programming..
Ограничење програмирања се често користи као додатак другим парадигмама: Функционално, логичко или чак императивно програмирање..

Bertrand, a language for building constraint programming systems.
Bertrand- програмски језик за грађење система програма ограничења.

In constraint programming, relations between variables are stated in the form of constraints, specifying the properties of a solution to be found.
У ограниченом програмирању, односи између варијабли су наведени у виду ограничења, наводећи да се својства решење могу наћи.

Finite domains is one of the most successful domains of constraint programming.
Коначни домени су једни од најкориснијих домена програмирања ограничења.

The constraints used in constraint programming are typically over some specific domains.
Ограничења која се користе у програмирању ограничења се обично тичу неких посебних области.

AMPI, an algebraic modeling language with support for constraint programming.[6].
AIMMS- језик алгебарског моделовања са подршком за логичко програмирање.[ 3].

In some areas(like operations research) constraint programming is often identified with constraint programming over finite domains.
У неким областима, као што су операциона истраживања, програмирање ограничења се често поистовећује са програмирањем ограничења преко коначних домена.

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

Inductive functional programming, which uses functional programming languages such as Lisp or Haskell, and most especially inductive logic programming, which uses logic programming languages such as Prolog and other logical representations such as description logics, have been more prominent, but other(programming) language paradigms have also been used, such as constraint programming or probabilistic programming..
Индуктивно функционално програмирање, које користи функционалне програмске језике као што су Lisp или Haskell, а већина посебно индуктивно логичко програмирање, које користи логичке програмске језике као што су Prolog и друге логичке репрезентације као што је опис логике, су изражени, али и друге( програмирање) језичке парадигме се такође користе, као што је ограничење програмања или вероватноћа програмирања.

The constraint programming approach is to search for a state of the world in which a large number of constraints are satisfied at the same time.
Приступ програмирању ограничења је потрага за стањем у спољашњем свету у којем велики број ограничења треба да буде задовољено у исто време.

The diversity of inductive programming usually comes from the applications and the languages that are used: apart from logic programming and functional programming, other programming paradigms and representation languages have been used or suggested in inductive programming, such as functional logic programming, constraint programming, probabilistic programming, abductive logic programming, modal logic, action languages, agent languages and many types of imperative languages.
Разноликост индуктивног програмирања обично долази од апликација и језика који се користе: осим логичког програмирања и функционалног програмирања, остале програмске парадигме и заступање језика се користи или су предложене у индуктивном програмирању, као што су функционално логичко програмирање, ограничење програмирања, вероватноћа програмирања, абдуктив логика програмирања, модална логика, акциони језици, агент језици и многе врсте императивних језика.

Temporal concurrent constraint programming(TCC) and non-deterministic temporal concurrent constraint programming(MJV) are variants of constraint programming that can deal with time.
Временско конкурентно програмирање ограничења( ТCC) и недетерминистичко временско конкурентно програмирање( NTCC) су варијанте програмирања ограничења које се баве временом.

Some popular domains for constraint programming are: boolean domains, where only true/false constraints apply(SAT problem) integer domains, rational domains interval domains, in particular for scheduling problems linear domains, where only linear functions are described and analyzed(although approaches to non-linear problems do exist) finite domains, where constraints are defined over finite sets mixed domains, involving two or more of the above Finite domains is one of the most successful domains of constraint programming..
Неки од популарних домена за програмирање ограничења су: Буловски домен, где важе само ограничења типа тачно/ нетачно( САТ проблем) Целобројни домен, рационални домен Линеаран домен, где су само линеарне функције описане и анализиране( иако приступ нелинеарним проблемима постоје) Коначни домени, где се дефинишу ограничења у коначном скупу и Мешовити домени, који укључују два или више од горе наведених домена.

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

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

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

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

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

The following is a Prolog program that solves the classical alphametic puzzle SEND+MORE=MONEY in constraint logic programming.
Следи Prolog програм који решава класичну аритметичку слагалицу са речима( SEND+ MORE= MONEY) у контексту програмирања ограничења.

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

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

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

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