Що таке ЛОГІЧНОГО ПРОГРАМУВАННЯ Англійською - Англійська переклад

• logic programming

Приклади вживання Логічного програмування Українська мовою та їх переклад на Англійською

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

Асоціація логічного програмування для.
The Association for Logic Programming.

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

Найвідоміший мову логічного програмування- Prolog.
The most known language of logic programming is the Prolog.

Він заснований на стійкій моделі(наборі) семантики логічного програмування.
It is based on the stable model(answer set) semantics of logic programming.

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

Формальна логіка як основа логічного програмування.
A higher-order logic as the basis for logic programming.

Концепція логічного програмування базується на понятті відношення.
The concept of logical programming is based on the concept of relationship.

На основі ідей Planner були створені такі мови логічного програмування, як: QA-4, Popler, Conniver і QLISP.
Planner was also the basis for the creation of such languages of logic programming as QA-4, Popler, Conniver and QLISP.

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

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

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

Диз'юнкти Горна є також основою логічного програмування, де є звичним записувати визначені твердження у вигляді імплікації:.
Horn clauses are also the basis of logic programming, where it is common to write definite clauses in the form of an implication:.

Обробка, орієнтована на кортеж: дедуктивні бази даних використовують обробку, орієнтовану на набір, в той час як мови логічного програмування концентруються на одному кортежі за раз.
Tuple-oriented processing: Deductive databases use set-oriented processing while logic programming languages concentrate on one tuple at a time.

На основі мови Planner було розроблене також декілька альтернативних мов логічного програмування, не заснованих на методі пошуку з поверненням, наприклад, Ether.
The experts also designed several alternative languages of logic programming on the basis of Planner, which were not connected with the backtracking method, for example, Ether.

Недавня робота в цій області, що поєднує логічне програмування, навчання і ймовірність, породила нову область статистичного реляційного навчання та ймовірнісного індуктивного логічного програмування.
Recent work in this area, combining logic programming, learning and probability, has given rise to the new field of statistical relational learning and probabilistic inductive logic programming.

Ми побачили, що{ p, s}{\displaystyle\{p, s\}} є також стійкою моделлю тієї ж формули, записаної записом логічного програмування, в сенсі первинного визначення.
We have seen that{ p, s}{\displaystyle\{p, s\}} is also a stable model of the same formula, written in logic programming notation, in the sense of the original definition.

В контексті логічного програмування ця ідея призводить до потреби розрізнювати два типи заперечення- заперечення як відмови, обговорюваного вище, та сильного заперечення(англ. strong negation), що позначається тут через ∼{\displaystyle\sim}.
In the context of logic programming, this idea leads to the need to distinguish between two kinds of negation- negation as failure, discussed above, and strong negation, which is denoted here by∼{\displaystyle\sim}.

Дедуктивні бази даних та логічне програмування: Дедуктивні бази даних використовують багато понять із логічного програмування; правила і факти, зазначені у журналі даних мови дедуктивних баз даних дуже схожі на ті, що містяться у Prolog.
Deductive databases and logic programming: Deductive databases reuse many concepts from logic programming; rules and facts specified in the deductive database language Datalog look very similar to those in Prolog.

Результуючі онтології мають назви FLOWS(First-Order Logic Ontology for Web Services), що полягається на семантику логіки першого порядку, та ROWS(Rule Ontology for Web Services), що опирається на семантику логічного програмування.
The resulting ontologies are called: FLOWS- First-Order Logic Ontology for Web Services, which relies on First-Order Logic semantics, and ROWS- Rule Ontology for Web Services, which relies on Logic Programming semantics.

Робота над символічним/ заснованим на знаннях продовжувалась в рамках ШІ, що призводило до індуктивного логічного програмування, але більш статистична лінія досліджень тепер знаходилась поза сферою власного ІІ, в розпізнаванні шаблонів та пошуку інформації: 708- 710;
Work on symbolic/knowledge-based learning did continue within AI, leading to inductive logic programming, but the more statistical line of research was now outside the field of AI proper, in pattern recognition and information retrieval.:708- 710;

Диз'юнкти Горна є також основою логічного програмування, де є звичним записувати визначені твердження у вигляді імплікації:(p ∧ q ∧… ∧ t) → u Фактично, резолюція цільового твердження визначеним твердженням для породження нового цільового твердження є основою правила виведення ВЛВ-резолюції, що використовується для реалізації логічного програмування мовою програмування Пролог.
Horn clauses are also the basis of logic programming, where it is common to write definite clauses in the form of an implication:(p∧ q∧…∧ t)→ u In fact, the resolution of a goal clause with a definite clause to produce a new goal clause is the basis of the SLD resolution inference rule, used to implement logic programming in the programming language Prolog.

Використання наборів вирішувачів для пошуку був визначений в якості нової парадигми програмування Marek і Truszczyński в документі, який з'явився в 25-річній перспективі на парадигми логічного програмування, опублікованій в 1999 році[6] і в[Niemelä 1999].[7] Дійсно, в новій термінології"набір відповідей" замість"стабільної моделі" був вперше запропонована Ліфшиц[8] В статті, опублікованій в тій же ретроспективі те, як Марек-Truszczynski папери.
The use of answer set solvers for search was identified as a new programming paradigm by Marek and Truszczyński in a paper that appeared in a 25-year perspective on the logic programming paradigm published in 1999[6] and in[Niemelä 1999].[7] Indeed, the new terminology of"answer set" instead of"stable model" was first proposed by Lifschitz[8] in a paper appearing in the same retrospective volume as the Marek-Truszczynski paper.

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

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

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

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

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

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

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