What is the translation of " LOGIC PROGRAM " in Serbian?

• логички програм
• логика програма
• логичког програма
• логике програма

Examples of using Logic program in English and their translations into Serbian

A clause in a normal logic program has the form.
Клаузула у нормалном логичком програму има облик.

We can, however, vary the control component for other ways to execute a logic program.
Контрола компоненте може да варира у обезбеђивању алтернативног начина извршења логичког програма.

A clause in an abductive logic program has the form.
Клаузула у абдуктивном логичком програму има облик.

The control component can be varied to provide alternative ways of executing a logic program.
Контрола компоненте може да варира у обезбеђивању алтернативног начина извршења логичког програма.

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

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

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

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

The abductive logic program below describes a simple model of the lactose metabolism of the bacterium E. coli.
Абдуктивна логика програма испод описује једноставан модел лактозе метаболизма бактерија Е. цоли.

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

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

Subject to this complication, sequential and parallel search strategies for and-or trees provide a computational model for executing logic programs.
Предмет ове компликације, секвенцијална и паралелна стратегија за и-или дрвеће претраге обезбеђује компјутерски модел за извршавање логичких програма.

Where"Logic" represents a logic program and"Control" represents different theorem-proving strategies.[9].
Где" Логика" представља логички програм и" контрола" представља различите стратегије теорема-доказивања.[ 9].

In practice, in many cases these two ways of formalizing the role of the integrity constraints coincide as the logic program and its extensions always have a unique model.
У пракси, у многим случајевима ова два начина формализовања улога ограничења интегритета се поклапају, као логике програма и његови наставци увек имају јединствен модел.

Normally, the logic program P does not contain any clauses whose head(or conclusion) refers to an abducible predicate.
Нормално, логика програма P, не садржи никакве одредбе чије главе( или закључак) се односи на абдуцибле предикате.

Some problems are more natural(and thus, simpler) to write as logic programs, while some are more natural to write as constraint programs..
Неке проблеме је природније( па тиме и једноставније) описати као логичке програме, док је неке природно описати као програме ограничења.

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

This notion is captured by the slogan Algorithm= Logic+ Control where"Logic" represents a logic program and"Control" represents different theorem-proving strategies.
Овај појам је заробљен од стране слогана Алгоритам= Логика+ Контрола где" Логика" представља логички програм и" контрола" представља различите стратегије теорема-доказивања.

Consider the abductive logic program consisting of the following(simplified) clauses: X is a citizen if X is born in the USA.
Размотримо абдуктивну логику програма који се састоји од следећих( Симплифиед) клаузула: X је грађанин ако X је рођен у САДу.

Moreover, logic-based program transformation techniques can also be used to transform logic programs into logically equivalent programs that are more efficient.
Штавише, технике програмске трансформације логичке основе се такође могу користити за трансформацију логичких програма у логички еквивалентне програме који су ефикаснији.

In ASP and Datalog, logic programs have only a declarative reading, and their execution is performed by means of a proof procedure or model generator whose behaviour is not meant to be controlled by the programmer.
У АСП и Даталог, логички програми имају само декларативно читање, а њихово извршење врши се помоћу доказ поступка или модел генератора чије понашање није требало да буде под контролом програмера.

The early work in grammar induction(also known as grammatical inference) is related to inductive programming, as rewriting systems or logic programs can be used to represent production rules.
Рани рад у основној индукцији( такође познат као граматичко закључивање) односи се на индуктивно програмирање, као преписивање система и логички програми могу се користити за представљање правила производње.

However, in the Prolog family of languages, logic programs also have a procedural interpretation as goal-reduction procedures.
Међутим, у Пролог породици језика, логички програми имају процедуралну интерпретацију као процедуру циља за смањење.

Shapiro built their first implementation(Model Inference System) in 1981: a Prolog program that inductively inferred logic programs from positive and negative examples.
Ехуд Шапиро је положио теоријски темељ за индуктивно логичко програмирање[ 1][ 2] и изградио своју прву примену( модел Инференце Система) 1981:[ 3] Пролог програм који индуктивно закључене логичке програме из позитивних и негативних примера.

Thus abductive explanations extend the logic program P by the addition of full or partial definitions of the abducible predicates.
Тако абдуктивна објашњења продужују логику програма P додавањем потпуним или делимичним дефиницијама абдуцибле предиката.

For most practical applications, as well as for applications that require non-monotonic reasoning in artificial intelligence, Horn clause logic programs need to be extended to normal logic programs, with negative conditions.
За већину практичних примена, као и за апликације које захтевају немонотоно образложење у вештачкој интелигенцији, Хорн клаузула логичког програма треба да се прошири на нормалне логичке програме, са негативним условима.

However, in the Prolog family of languages, logic programs also have a procedural interpretation as goal-reduction procedures: to solve H, solve B1, and… and solve Bn.
Међутим, у Пролог породици језика, логички програми имају процедуралну интерпретацију као процедуру циља за смањење: да реши H, реши B1, и… и реши Bn.

One powerful paradigm that has been recently used for the representation of hypotheses in inductive programming(generally in the form of generative models) is probabilistic programming(and related paradigms, such as stochastic logic programs and Bayesian logic programming).
Једна моћна парадигма која је недавно коришћена за представљање хипотеза у индуктивном програмирању( углавном у облику генеративних модела) је пробабилистичко програмирање( и сродне парадигме, као што су стохастички логички програми и Бајесово логичко програмирање).

In the simplified, propositional case in which a logic program and a top-level atomic goal contain no variables, backward reasoning determines an and-or tree, which constitutes the search space for solving the goal.
У поједностављеном, претпостављен случај у којем логички програм и врхунски атомски циљ не садрже променљиве, уназад образложење одређује се и-или дрво, које чини претраживање простора за решавање тог циља.

Such problems are solved by computing"abductive explanations" of G. An abductive explanation of a problem G is a set of positive(and sometimes also negative) ground instances of the abducible predicates, such that, when these are added to the logic program P, the problem G and the integrity constraints IC both hold.
Овакви проблеми су решени рачунањем" абдуцтиве објашњења" G. Абдуктивно објашњење проблема G је скуп позитивних( а понекад и негативне) копнених инстанца абдукибле предиката, тако да, када се они додају у логички програм P, проблем G и ограничења интегритета IC оба га држе.