PROLOG in Ukrainian translation

• пролог
• prolog
• прологових
• прологом

Examples of using Prolog in English and their translations into Ukrainian

Visual Prolog, WIN-PROLOG, and B-Prolog.
є SWI-prolog, Visual-prolog, LPA Prolog для Windows та B-Prolog.

Prolog would try this new branch first,
Пролог спробує цю нову гілку першою,

It is also the basis of the so-called logic programming languages such as Icon, Planner and Prolog.
Це також базис для так званих мов логічного програмування таких як Icon, Planner і Prolog.

And just like the language of artificial intelligence, Prolog did not take place not only in relation to the"Inventing Machine".
І вже як мова штучного інтелекту, Пролог не відбувся не тільки по відношенню до"винаходити машини".

Prolog was one of the first logic programming languages,
Пролог була однією з перших логічних мов програмування,

back to the 1980s, and as of 2008 there are still attempts to extend Prolog with types.
станом на 2008 рік все ще існують спроби розширити Пролог типами.

which is very different from standard Prolog.
дуже сильно відрізняється від стандартної Пролог.

Moreover, the procedure of goal-oriented deduction for such theories implemented in such programming systems as APS or Prolog simmulates the procedure of inverse deduction in the mentioned calculi.
При цьому процедура цілеспрямованого виведення для даних теорій, що реалізована в таких системах програмування, як АПС або Пролог, імітує процедуру оберненого виведення в зазначених численнях.

For instance, the two programs above are not reasonable as Prolog programs- SLDNF resolution does not terminate on them.
Наприклад, наведені вище дві програми як Прологові програми є нерозумними- ВЛВЗВ-резолюція на них не добігає кінця.

The order of clauses in a Prolog program is significant,
Порядок тверджень у прологовій програмі є суттєвим,

The Prolog notation is actually ambiguous,
Прологовий запис насправді є неоднозначним,

allowing Java and Prolog to call each other(recursively).
і що дозволяє Java та Прологові викликати одне одного(рекурсивно).

However, not all Prolog compilers support modules, and there are compatibility problems between the module systems of the major Prolog compilers.
Проте, не всі компілятори Прологу підтримують модулі, а також існують проблеми сумісності між системами модулів основних компіляторів Прологу.

Modern Prolog environments support creating graphical user interfaces,
Сучасні середовища Прологу підтримують як створення графічних інтерфейсів користувача,

Programming in the large is considered to be complicated because not all Prolog compilers support modules,
Велике програмування вважається складним, оскільки не всі компілятори Прологу підтримують модулі, а також існують проблеми

Various implementations have been developed from Prolog to extend logic programming capabilities in numerous directions.
З Прологу було розвинуто різноманітні реалізації для розширення можливостей логічного програмування у численних напрямках.

Some Prolog implementations, notably SWI-Prolog
Деякі реалізації Прологу, особливо SWI-Prolog

Modern Prolog environments support the creation of graphical user interfaces,
Сучасні середовища Прологу підтримують як створення графічних інтерфейсів користувача,

Prolog uses a sequential,
У Prolog використовується послідовна стратегія«назад-у-перших»,

However, the selection function in SLD resolution is more general than in SL resolution and in Prolog.
Проте у ВЛВ-резолюції функція вибору є загальнішою, ніж у ВЛ-резолюції та в Пролозі.