Examples of using Logic programming in English and their translations into Ukrainian
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
which inspired later work on question-answering and logic programming.
який надихнув пізніші роботи над питаннями-відповідями та логічним програмуванням.Tuple-oriented processing: Deductive databases use set-oriented processing while logic programming languages concentrate on one tuple at a time.
Обробка, орієнтована на кортеж: дедуктивні бази даних використовують обробку, орієнтовану на набір, в той час як мови логічного програмування концентруються на одному кортежі за раз.Logic programming is based on theory
Логічне програмування засноване на теоріїcombining logic programming, learning and probability,
що поєднує логічне програмування, навчання і ймовірність,Abductive logic programming is an extension of normal Logic Programming that allows some predicates,
Абдуктивне логічне програмування- це розширення нормального Carl Hewitt has argued that, concurrent logic programming is not based on logic in his sense that computational steps cannot be logically deduced.
Карл Хьюітт стверджував, що паралельне логічне програмування не засноване на логіці в його розумінні того, що обчислювальні етапи не можуть бути логічно виведені.The inclusion of negation as failure means that logic programming is a kind of non-monotonic logic. .
Включення заперечення як відмови означає, що логічне програмування є свого роду немонотонною логікою.Because mathematical logic has a long tradition of distinguishing between object language and metalanguage, logic programming also allows metalevel programming. .
Оскільки математична логіка має давню традицію розрізнення між мовою об'єктів[en] і метамовою, логічне програмування також дозволяє метарівневе The inclusion of negation as failure means that logic programming is a kind of non-monotonic logic. .
Включення заперечення як відмовиозначає[en], що логічне програмування є свого роду немонотонною логікою.concurrent constraint logic programming makes a committed choice to use only one.
паралельне програмування логіки обмежень робить рішучий вибір для використання тільки одного.which inspired later work on question-answering and logic programming.
яка пізніше надихнула роботи з відповідей на запити і логічному програмуванню.Instead of logic programming, constraints can be mixed with functional programming,
Крім логічного програмування, обмеження можуть бути змішані з функціональним Logic programming is the programming paradigm,
Логічне програмування- парадигма Deductive databases have grown out of the desire to combine logic programming with relational databases to construct systems that support a powerful formalism
Дедуктивні бази даних є втіленням бажання поєднати логічне програмування з реляційними базами даних для побудови систем, що підтримують потужний формалізмNotable journals that publish PLT research include the ACM Transactions on Programming Languages and Systems(TOPLAS), Journal of Functional Programming(JFP), Journal of Functional and Logic Programming, and Higher-Order and Symbolic Computation.
Відомі журнали, які публікують PLT: the ACM Transactions on However, in concurrent logic programming, any result of a terminating computation is a logical consequence of the program,
Однак у паралельному логічному програмуванні будь-який результат завершального обчислення є as in ordinary logic programming, but constraints are checked for satisfiability by a domain-specific constraint-solver,
як у звичайному логічному програмуванні, але обмеження перевіряються на здійснимість за допомогою спеціалізованого вирішувача обмежень,leading to inductive logic programming, but the more statistical line of research was now outside the field of AI proper,
призводило до індуктивного логічного програмування, але більш статистична лінія досліджень тепер знаходилась поза сферою власного ІІ,Deductive databases reuse many concepts from logic programming; rules
Дедуктивні бази даних використовують багато понять із логічного програмування; правилаIn mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification,
В математичній логіці та логічному програмуванні диз'ю́нкт Го́рна(англ. Horn clause)- це 
