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

• логического программирования
• логическое программирование
• логическом программировании

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

Logic Programming.
Логическое программирование.

Advanced control and logic programming.
Продвинутый контроль и логическое программирование.

In logic programming a definite clause behaves as a goal-reduction procedure.
В логическом программировании определенный дизъюнкт используется как процедура редукции цели.

Artificial intelligence and logic programming.
Логическое программирование и искусственный интеллект;

Function symbols: Logic Programming languages allow function symbols to build up complex symbols.
Символы функций: языки логического программирования позволяют функциональным символам создавать сложные символы.

Nevertheless, attempts were made to extend logic programming to concurrent computation.
Тем не менее были предприняты попытки расширения логического программирования для одновременных вычислений.

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

An example of a general-purpose logic programming language is Prolog.
Самым известным языком логического программирования является Prolog.

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

Problems of constraint logic programming on arbitrary object-oriented data sets(CLP(O)) are considered in this paper.
В статье рассматривается класс задач логического программирования в ограничениях на произвольных наборах объектно-ориентированных данных CLPO.

The use of logic variables for communication in concurrent logic programming languages was quite similar to futures.
Использование логических переменных для взаимодействия в конкурентных языках логического программирования достаточно сходно с future.

Declarative logic programming provides an opportunity to concentrate on task analysis and rules formulation instead of coding an algorithm.
Декларативное логическое программирование позволяет сконцентрироваться на анализе задачи и формулировке правил, вместо кодирования алгоритмов.

With Marek Sergot, he developed both the event calculus and the application of logic programming to legal reasoning.
С Мареком Серготом, разработал исчисление событий and the application of logic programming to legal reasoning. и применение логического программирования для юридических целей.

Meld is a declarative language, a logic programming language originally designed for programming overlay networks.
Meld- это декларативный язык, язык логического программирования, первоначально предназначенный для программирования оверлейных сетей.

Gedemin is the first technological platform where the programmer on the same basis as standard code applies Prolog language-based logic programming.
Гедымин- первая технологическая платформа, где программист, наравне с традиционным кодом, применяет логическое программирование на языке Prolog.

In 1972, logic programming and Prolog were developed thus allowing computer programs to be expressed as mathematical logic..
В 1972 году создана парадигма логического программирования и язык Пролог, в котором программа состоит непосредственно из набора хорновских дизъюнктов.

In Europe a new computer language was developed called PROLOG(short for logic programming) that was slicker than LISP and had potential for AI.
В Европ новый компьютерный язык, котор был начат вызвал PROLOG( короткий для программировать логики) был более сликов чем LISP и имел потенциал для AI.

Logtalk aims to bring together the advantages of object-oriented programming and logic programming.
Язык Leda исходно создавался с целью совмещения императивного программирования, объектно-ориентированного программирования, функционального программирования и логического программирования.

Key words: logic programming, Prolog, declarative level of programming, procedural level of programming, semantic errors, runtime errors.
Ключевые слова: логическое программирование, Пролог, декларативный уровень программирования, процедурный уровень программирования, семантические ошибки, ошибки выполнения программы.

A concurrent logic variable is similar to a future, but is updated by unification, in the same way as logic variables in logic programming.
Параллельная логическая переменная похожа на future, но обновляется во время унификации так же, как и логические переменные в логическом программировании.

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

In logic programming approaches, negation as failure is often used to handle non-monotonicity, but specific non-monotonic logics such as defeasible logic have also been used.
В логическом программировании для обработки немонотонности часто используется исключение ошибки, но также можно использовать специфичные немонотонные логики, такие как допустимая логика.

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

Inductive logic programming(ILP) is an approach to rule-learning using logic programming as a uniform representation for input examples, background knowledge, and hypotheses.
Индуктивное логическое программирование( Inductive Logic Programming, ILP)- раздел машинного обучения, который использует логическое программирование как форму представления примеров, фоновых знаний и гипотез.

Artificial intelligence, processing of natural languages, ontology of subject areas, methods and means of interaction with ontological models, semantic networks with object models, object-oriented logic programming.
Искусственный интеллект, обработка естественных языков, онтология предметных областей, методы и средства взаимодействия с онтологическими моделями, семантические сети с объектными моделями, объектно-ориентированное логическое программирование.

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

Pereira also collaborated with Stuart M. Shieber on a book called"Prolog and Natural Language Analysis", that was intended as a general introduction to computational linguistics using logic programming.
Также Перейра в соавторстве со Стюартом Шейбером написал книгу« Prolog and Natural Language Analysis»( Пролог и анализ естественных языков), которая была предназначена для изучения основ вычислительной лингвистики с использованием логического программирования.

Deductive databases have grown out of the desire to combine logic programming with relational databases to construct systems that support a powerful formalism and are still fast and able to deal with very large datasets.
Дедуктивные базы данных выросли из желания сочетать логическое программирование с реляционной базой данных для построения систем, поддерживающих мощный формализм, и по-прежнему быстры и способны справляться с очень большими наборами данных.

Object-oriented constraint-based programming(OOCP) combines two orthogonal, but complementary programming paradigms, namely: object-oriented programming(OOP) and constraint logic programming CLP.
Объектно-ориентированное программирование в ограничениях( OOCP) сочетает две ортогональные, но комплементарные парадигмы программирования, а именно: объектно-ориентированное программирование( OOP) и логическое программирование в ограничениях CLP.

It was found that the unification in addition to logic programming can be used in the development of automated theorem proving systems, text processing on natural and formal languages, the construction of systems term rewriting.
Было обнаружено, что унификация, помимо логического программирования, может быть использована при разработке систем автоматического доказательства теорем, обработке текстов естественных и формальных языков, построении систем переписывания термов.