LOGIC PROGRAMMING in Serbian translation

The first concurrent logic programming language was the Relational Language of Clark

Први истовремени логички програмски језик био је Relational Language Кларка

Any program written in a logic programming language is a set of sentences in logical form,

Програм написан на језику логичког програмирања је скуп реченица у логичком облику,

(b) Extended normal logic programming by allowing some predicates to be incompletely defined.

Простире се нормално логика програмирања дозвољавајући неким предикатима да буду непотпуно дефинисани, проглашава их абдуцибле предикатима.

This variant of logic programming is due to Jaffar

За настанак ове варијанте логичког програмирања заслужни су Jaffar

Logic programming languages that include this extension have the knowledge representation capabilities of a non-monotonic logic..

Логички програмски језици који садрже овај додатак имају репрезентације знања могућности не-монотоне логике.

Abductive logic programming(ALP) is a high-level knowledge-representation framework that can be used to solve problems declaratively based on abductive reasoning.

Абдуктивна логика програмирања( АЛП) је на високом нивоу знања заступљености оквира који се могу користити за решавање проблема декларативно на основу абдуктивног резоновања.

combining logic programming, learning and probability,

комбинујући логичко програмирање, учење и вероватноће,

Like functional programming, many logic programming languages permit side effects,

Као функционално програмирање, многи логички програмски језици дозволи су нежељене ефекте,

A program written in a logic programming language is a set of sentences in logical form,

Програм написан на језику логичког програмирања је скуп реченица у логичком облику,

Logic programming clauses in conjunction with constraint handling rules can be used to specify a method for establishing the satisfiability of the constraint store.

Логика програмирања одредби у вези са ограниченим правилима за руковање може да се користи за спецификацију метода за утврђивање задовољивости на ограничење продавнице.

concurrent constraint logic programming is that the first is aimed at search,

упоредне принудне логике програмирања је да први има за циљ претреса,

The term Inductive Logic Programming was first introduced in a paper by Stephen Muggleton in 1991.

Термин Индуктивно логичко програмирање је први пут уведено у рад Степхена Мугглетона 1991.

Constraint handling rules can be seen as a form of concurrent constraint logic programming, but are used for programming a constraint simplifier

Ограничење руковања правила може се посматрати као облик упоредног ограничења логичког програмирања, али се користе за програмирање наметања simplifier или решења

Abductive logic programming- is a high level knowledge representation framework that can be used to solve problems declaratively based on abductive reasoning.

Functional logic programming is the combination,

Функционално логичко програмирање је комбинација,

Constraint logic programming has been applied to a number of fields,

Ограничење логике програмирања је примењено на многим пољима,

commonly in the form of Horn clauses used in logic programming.

обично у облику Хорн клаузуле које се користе у логичком програмирању.

This rule differs from the corresponding rule for constraint logic programming in that it only allows adding constraints in the form variable=term,

Ово правило се разликује од одговарајућег правила за ограничење логичког програмирања само омогућавајући додавање ограничења у облику променљивих= року,

Constrained conditional model- Constraint logic programming- is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction.

Принудно логичко програмирање је облик принуде програма, у којем логика програмирања је проширена на концепте за ограничење задовољства.

In the Prolog family of logic programming languages, the programmer can also use the known problem-solving behaviour of the execution mechanism to improve the efficiency of programs.

У Пролог породици логичких програмских језика, програмер може да користи за решавање познатог проблема понашање механизма извршења како би унапредио ефикасност програма.