What is the translation of " LOGIC PROGRAMMING " in Ukrainian?

• логічне програмування
• логікою програмування
• логічному програмуванні
• логічного програмування
• логічним програмуванням
• logic programming

Examples of using Logic programming in English and their translations into Ukrainian

Logic Programming.
Логічного програмування.

Abductive Logic Programming.
Абдуктивної логіки програмування.

It is closely related to abductive logic programming.
Він тісно пов'язаний з абдуктивним логічним програмуванням.

The most well-known logic programming language is Prolog.
Але найвідомішим мовою логічного програмування є ПРОЛОГ(Prolog).

The following resolution rule is used in logic programming.
Метод резолюцій використовується в логічних мовах програмування.

In logic programming, however, an SID refutation also has a computational interpretation.
Проте в логічному програмуванні ВЛВ-спростування має також і обчислювальну інтерпретацію.

A fully declarative approach to logic programming.
Повністю декларативний підхід до логічного програмування.

Constraint logic programming extends Prolog to include concepts from constraint satisfaction.
Логічне програмування з обмеженнями розширює Пролог включенням концепцій із задоволення обмежень.

Backward chaining is implemented in logic programming by SID resolution.
Зворотний вивід здійснюється у логічному програмуванні за допомогою SLD-резолюції.

In linear logic programming, one can use the ambient linear logic to support state change.
У лінійному логічному програмуванні можна використовувати лінійну логіку для підтримки зміни стану.

However important differences between deductive databases and logic programming:.
Однак існують важливі відмінності між дедуктивними базами даних та логічним програмуванням:.

Prolog++ was developed by Logic Programming Associates and first released in 1989 for MS-DOS PCs.
Prolog++ було розроблено компанією Logic Programming Associates, і вперше випущено у 1989 році для ПК MS-DOS.

Prolog Higher-order programming Higher-order logic programming Naish, Lee(1996).
Пролог Програмування вищих порядків Логічне програмування вищого порядку Naish, Lee(1996).

The Association for Logic Programming was founded to promote Logic Programming in 1986.
Асоціація логічного програмування була створена для підтримання логічного програмування в 1986 році.

In 1958, he proposed the advice taker, which inspired later work on question-answering and logic programming.
В 1958 він запропонував advice taker, який надихнув пізніші роботи над питаннями-відповідями та логічним програмуванням.

Constraint logic programming combines Horn clause logic programming with constraint solving.
Логічне програмування з обмеженнями[en]поєднує в собі логічне програмування логіки[en] Horn з рішенням обмеження.

Deductive databases are more expressive than relational databases but less expressive than logic programming systems.
Дедуктивні бази даних є виразнішими за реляційні бази даних, але поступаються виразністю системам логічного програмування.

Abductive logic programming has been used for fault diagnosis, planning, natural language processing and machine learning.
Логічне програмування абдукції було використано для діагностики несправностей, планування, обробки природної мови і машинного навчання.

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

An important concept in logic programming is the separation of programs into their logic component and their control component.
Важливою концепцією у логічному програмуванні є розділення програм на їх логічний компонент і їх компонент управління.

SLD resolution(Selective Linear Definite clause resolution) is the basic inference rule used in logic programming.
ВЛВ-резолю́ція(вибіркова лінійна резолюція з визначеними твердженнями), SLD-резолю́ція(англ. SLD-resolution, Selective Linear Definite clause resolution)- це елементарне правило висновування, що застосовується в логічному програмуванні.

This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics.
Це один із декількох стандартних підходів до значення заперечення в логічному програмуванні, поряд із повнотою програми та добре обґрунтованими семантиками.

Inductive logic programming is concerned with generalizing positive and negative examples in the context of background knowledge: machine learning of logic programs.
Індуктивне логічне програмування пов'язане з узагальненням позитивних і негативних прикладів у контексті фонових знань: машинне навчання логічних програм.

Microsoft Access improved version of the database with improved logic programming integration with the business data catalog(BDC, Business Data Catalog), 25 quality templates.
Microsoft Access 2013- вдосконалений варіант бази даних з поліпшеною логікою програмування, інтеграцією з каталогом бізнес-даних(BDC, Business Data Catalog), 25 якісними шаблонами.

Logic programming in its present form can be traced back to debates in the late 1960s and early 1970s about declarative versus procedural representations of knowledge in Artificial Intelligence.
Логічне програмування в нинішньому вигляді можна простежити до дискусій в кінці 1960-х і початку 1970-х років про порівняння декларативного і процедурного представлення знань в штучному інтелекті.

Other algorithms and models for structured prediction include inductive logic programming, case-based reasoning, structured SVMs, Markov logic networks and constrained conditional models.
До інших алгоритмів та моделей для структурового передбачування належать індуктивне логічне програмування, міркування на основі прецедентів, структурові ОВМ, марковські логічні мережі та обмежені умовні моделі.

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..
Логічне програмування на основі логіки в лінійній логіці[en] призвело до створення мов логічного програмування, які значно виразніші, ніж ті, які засновані на класичній логіці.

Metalogic is used in logic programming to implement metaprograms, which manipulate other programs, databases, knowledge bases or axiomatic theories as data.
Metalogic використовується в логічному програмуванні для реалізації метапрограм, які маніпулюють іншими програмами, базами даних, базами знань або аксиоматичними теоріями в якості даних.