PROLOG in Serbian translation

• prolog
• пролог
• прологу

Examples of using Prolog in English and their translations into Serbian

However, there were some encouraging results on learning recursive Prolog programs such as quicksort from examples together with suitable background knowledge,
Међутим, било је неких охрабрујућих резултата на учење рекурзивних Prolog програма као што су quicksor од примера, заједно са одговарајућим знањем,

Logtalk extends the Prolog programming language with support for objects,
Логталк проширује Пролог програмски језик са подршком за објекте,

who extended in 1987 a specific class of constraints that were introduced in Prolog II.
проширили одређеном класом ограничења која је уведена у Prolog II.

it is often written in the reverse form: u←(p∧ q∧…∧ t) In Prolog this is written as: u:- p, q,…, t.
u←( p ∧ q ∧… ∧ t) У Прологу, ово се пише као: u:- p, q,…, t.

In the Prolog family of logic programming languages,
У Пролог породици логичких програмских језика,

Prolog uses a sequential,
Пролог користи секвенцијалну,

used this dual interpretation of clauses as the basis of Prolog, which was implemented in the summer
користи ово двоструко тумачење одредби као основу за Пролог, који је реализован у лето

Bytecode compilers that compile to assembly language of a theoretical machine, like some Prolog implementations This Prolog machine is also known as the Warren Abstract Machine(or WAM).
Фазни компилатор који компилира у асемблерски језик теоријске машине као неке Пролог имплементације Ова Пролог машина је такође позната и као Воренова апстрактна машина( ВАМ).

Edinburgh Prolog became the de facto standard and strongly influenced the definition of ISO standard Prolog.
Единбург Пролог постао је де факто стандард и снажно је утицао на дефиницију ИСО стандард Пролог.

Planner and Prolog.
планер и пролог.

first implementation(Model Inference System) in 1981: a Prolog program that inductively inferred logic programs from positive
изградио своју прву примену( модел Инференце Система) 1981:[ 3] Пролог програм који индуктивно закључене логичке програме из позитивних

who invented Concurrent Prolog.
који је измислио истовремени Пролог.

Haskell and Prolog, lacking looping almost entirely,
Хаскел и Пролог, без петље скоро у потпуности,

Visual Prolog, XSB, and λProlog,
Ciao, Visual Prolog, XSB, и λProlog,

built its first implementation(Model Inference System): a Prolog program that inductively inferred logic programs from positive
изградио своју прву примену( модел Инференце Система) 1981: Пролог програм који индуктивно закључене логичке програме из позитивних

which uses logic programming languages such as Prolog and other logical representations such as description logics,
које користи логичке програмске језике као што су Prolog и друге логичке репрезентације као што је опис логике,

representing it in the logically equivalent form of a goal clause:∀X(false← p∧ q∧…∧ t) In Prolog this is written as::- p, q,…, t.
∀X( нетачно← p ∧ q ∧… ∧ t) У Прологу ово се пише као::- p, q,…, t.

We did some Prolog.
Napravili smo Veliki Prokos.

Pure Prolog is restricted to Horn clauses.
Čist Prolog je ograničen na Hornove klauze.

Prolog is still very much alive.
Soren je još uvek prilično živ.