What is the translation of " ЛОГИЧКОГ ПРОГРАМИРАЊА " in English?

• logic programming

Examples of using Логичког програмирања in Serbian and their translations into English

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

Трансакција логика је наставак логичког програмирања са логичком теоријом државних модификација ажурирања.
Transaction logic is an extension of logic programming with a logical theory of state-modifying updates.

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

Хорнове клаузе представљају основу логичког програмирања, где је уобичајан запис дефинитних клауза у форми импликације.
Horn clauses are also the basis of logic programming, where it is common to write definite clauses in the form of an implication.

Архетипски пример декларативног језика је четврта генерација програмског језика SQL, као и породица функционалних језика и логичког програмирања.
An archetype of a declarative language is the fourth generation language SQL, and the family of functional languages and logic programming.

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

Програм написан на језику логичког програмирања је скуп реченица у логичком облику, изражавајући чињенице и правила о неком домену проблема.
A program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain.

Архетипски пример декларативног језика је четврта генерација програмског језика SQL, као и породица функционалних језика и логичког програмирања.
The archetypical example of a declarative language is the fourth generation language SQL, as well as the family of functional languages and logic programming.

Истовремена верзија логичког програмирања омогућава вредновање циљева у паралелама: сваки циљ је оцењен у процесу, а процеси покренути истовремено.
The concurrent version of logic programming allows for evaluating goals in parallel: every goal is evaluated by a process, and processes run concurrently.

Упоредно логичко програмирање је варијанта логичког програмирања у којем су програми сета чували Хорн клаузуле у облику: H:- G1,…, Gn| B1,…, Bn.
Concurrent logic programming is a variant of logic programming in which programs are sets of guarded Horn clauses of the form: H:- G1,…, Gn| B1,…, Bn.

За настанак ове варијанте логичког програмирања заслужни су Jaffar и Lassez, који су је 1987. проширили одређеном класом ограничења која је уведена у Prolog II.
This variant of logic programming is due to Jaffar and Lassez, who extended in 1987 a specific class of constraints that were introduced in Prolog II.

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

Заснивање логичког програмирања са линеарном логиком је резултат у дизајну логичких програмских језика који су знатно израженији од оних заснованих на класичној логици.
Basing logic programming within linear logic has resulted in the design of logic programming languages that are considerably more expressive than those based on classical logic..

Вероватно најекстремнији пример је Oz, који има подскупове који се придржавају на логику( Oz силази из логичког програмирања), функционалних, објектно-орјентисаних и осталих парадигми.
An example is Oz, which has subsets that are logic(Oz descends from logic programming), a functional, an object-oriented, a dataflow concurrent, and other language paradigms.

Ово правило се разликује од одговарајућег правила за ограничење логичког програмирања само омогућавајући додавање ограничења у облику променљивих= року, где је променљива једна од глава.
This rule differs from the corresponding rule for constraint logic programming in that it only allows adding constraints in the form variable=term, where the variable is one of the head.

Недавни рад у овој области, комбинујући логичко програмирање, учење и вероватноће, довело је до новог поља статистичког релационог учења и вероватноће индуктивног логичког програмирања.
Recent work in this area, combining logic programming, learning and probability, has given rise to the new field of statistical relational learning and probabilistic inductive logic programming.

Ограничење руковања правила може се посматрати као облик упоредног ограничења логичког програмирања, али се користе за програмирање наметања simplifier или решења него истовремених процеса.
Constraint handling rules can be seen as a form of concurrent constraint logic programming, but are used for programming a constraint simplifier or solver rather than concurrent processes.

Појава логичког програмирања донело је нови елан, али и нови правац у раним 1980-им, посебно због MIS система Shapiro који на крају формира нову област индуктивног логиког програмирања( ИЛП).
The advent of logic programming brought a new elan but also a new direction in the early 1980s, especially due to the MIS system of Shapiro eventually spawning the new field of inductive logic programming(ILP).

Даталог је програмски језик направљен још од оснивања логичког програмирања, али постаје засебна област око 1977. године када Херве Галер и Џек Минкер организују радионицу Логика и базе података.
Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases.

У ствари, чињеница да је резолуција циљне и дефинитне клаузе циљна клауза, представља основу за правило закључивања у СЛД резолуцији, која се користе за имплементацију логичког програмирања у програмском језику Пролог.
In fact, the resolution of a goal clause with a definite clause to produce a new goal clause is the basis of the SLD resolution inference rule, used to implement logic programming in the programming language Prolog.

Студија упоредног принудног логичког програмирања је почела крајем 1980-их, када су неки од принципа упоредно логичког програмирања интегрисани у ограничење логичког програмирања од Мицхаел Ј.
The study of concurrent constraint logic programming started at the end of the 1980s, when some of the principles of concurrent logic programming were integrated into constraint logic programming by Michael J. Maher.

Упоредно принудно логичко програмирање је верзија принудног логичког програмирања која за циљ има првенствено програмирање истовремених процеса, а не( или поред) решавање проблема ограничења задовољства.
Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than(or in addition to) solving constraint satisfaction problems.

Хорнове клаузе представљају основу логичког програмирања, где је уобичајан запис дефинитних клауза у форми импликације:( p ∧ q ∧… ∧ t)→ u У ствари, чињеница да је резолуција циљне и дефинитне клаузе циљна клауза, представља основу за правило закључивања у СЛД резолуцији, која се користе за имплементацију логичког програмирања у програмском језику Пролог.
Horn clauses are also the basis of logic programming, where it is common to write definite clauses in the form of an implication:(p∧ q∧…∧ t)→ u In fact, the resolution of a goal clause with a definite clause to produce a new goal clause is the basis of the SLD resolution inference rule, used to implement logic programming in the programming language Prolog.

Не-престанак процеси су уобичајени у целини у истовременој преради; истовремена верзија ограничења логичког програмирања их спроводи од стране не корисног стања неуспеха: ако нема клаузула важи преписивање циља, процес евалуације овог циља престаје уместо да цела евалуација као у не-истовременом ограничењу логичког програмирања.
Non-terminating processes are common in general in concurrent processing; the concurrent version of constraint logic programming implements them by not using the condition of failure: if no clause is applicable for rewriting a goal, the process evaluating this goal stops instead of making the whole evaluation fail like in non-concurrent constraint logic programming.

Ф-логика продужава логичко програмирање са објектима и оквирима синтаксе.
F-logic extends logic programming with objects and the frame syntax.

Удружење за логичко програмирање је основано да промовише логичко програмирање у 1986.
The Association for Logic Programming was founded to promote Logic Programming in 1986.

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

Удружење за логичко програмирање.
The Association for Logic Programming.

Може се сматрати да је оно тренутна замена је за редовно логичко програмирање.
It can be considered what the current substitution is for regular logic programming.

Упоредно принудно логичко програмирање комбинује принудно логичко програмирање и принудно логичко програмирање, користећи ограничења за контролу конкуренције.
Concurrent constraint logic programming combines concurrent logic programming and constraint logic programming, using constraints to control concurrency.