| Subject | English | Russian |
| progr. | agent-oriented logic programming language | язык агентно-ориентированного логического программирования (Alex_Odeychuk) |
| AI. | answer set programming in logic | логическое программирование с множеством ответов (Alex_Odeychuk) |
| progr. | applications of logic programming | применение логического программирования (ssn) |
| progr. | Association for Logic Programming | Ассоциация логического программирования (Alex_Odeychuk) |
| progr. | bottom-up logic programming language | язык логического программирования с индуктивным выводом (Alex_Odeychuk) |
| progr. | concurrent constraint logic programming | многопоточное логическое программирование в ограничениях (Alex_Odeychuk) |
| AI. | concurrent logic programming | многопоточное логическое программирование (Alex_Odeychuk) |
| progr. | constraint logic programming | логическое программирование в ограничениях (сокр. CLP; разновидность программирования в ограничениях (constraint programming) и логического программирования, где машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Например, множество ограничений типа x100, y40 позволит исключить из рассмотрения все значения, не удовлетворяющие этому требованию, при поиске решения для выражения КратчайшееРасстояние(x, y). Существует много экспериментальных и коммерческих языков CLP, напр., CHIP и Eclipse, созданы средства (устройства, машины) разрешения ограничений для ряда предметных областей – это арифметики целых, действительных, линейных рациональных чисел, булева арифметика и сравнение строк. Syn: constraint-based programming ssn) |
| progr. | constraint logic programming language | язык логического программирования в ограничениях (в языке логического программирования в ограничениях машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Alex_Odeychuk) |
| progr. | constraint logic programming system | система логического программирования в ограничениях (Alex_Odeychuk) |
| progr. | constraint-based logic programming | логическое программирование в ограничениях (Alex_Odeychuk) |
| progr. | constraint-based logic programming language | язык логического программирования в ограничениях (Alex_Odeychuk) |
| progr. | discoverer of logic programming | первооткрыватель логического программирования (Alex_Odeychuk) |
| AI. | disjunctive logic programming | дизъюнктивное логическое программирование (Alex_Odeychuk) |
| AI. | disjunctive logic programming system | система дизъюнктивного логического программирования (Alex_Odeychuk) |
| el. | distributed logic programming | язык программирования DPL |
| progr. | distributed parallel constraint logic programming | распределённое параллельное логическое программирование в ограничениях (Alex_Odeychuk) |
| progr. | distributed parallel logic programming | распределённое параллельное логическое программирование (Alex_Odeychuk) |
| progr. | family of logic programming languages | семейство языков логического программирования (Alex_Odeychuk) |
| IT | field programming logic array | программируемая пользователем логическая матрица |
| progr. | forward-chaining logic programming language | язык логического программирования с индуктивным выводом (Alex_Odeychuk) |
| progr. | functional-logic programming | функционально-логическое программирование (Alex_Odeychuk) |
| progr. | functional-logic programming language | язык функционально-логического программирования (Alex_Odeychuk) |
| progr. | fundamental goal of logic programming | основная цель логического программирования (ssn) |
| progr. | fuzzy logic programming | программирование на основе аппарата нечёткой логики (Alex_Odeychuk) |
| progr. | fuzzy logic programming | нечётко-логическое программирование (Alex_Odeychuk) |
| progr. | fuzzy logic programming library | библиотека нечётко-логического программирования (Alex_Odeychuk) |
| progr. | fuzzy logic programming library | библиотека для программирования на основе аппарата нечёткой логики (Alex_Odeychuk) |
| automat. | G-code programming logic | логика программирования в коде G (ssn) |
| progr. | general purpose logic programming language | язык логического программирования общего назначения (Alex_Odeychuk) |
| progr. | high-performance logic programming | высокопроизводительное логическое программирование (Alex_Odeychuk) |
| progr. | high-performance logic programming language | язык высокопроизводительного логического программирования (Alex_Odeychuk) |
| progr. | in the context of logic programming | в логическом программировании (Alex_Odeychuk) |
| progr. | inductive logic programming | индуктивное логическое программирование (Alex_Odeychuk) |
| progr. | integration of parallelism and logic programming | объединение параллельной обработки данных и логического программирования (Alex_Odeychuk) |
| progr. | International Conference on Logic Programming | Международная конференция по логическому программированию (Alex_Odeychuk) |
| auto.ctrl. | ladder logic programming | релейное лестничное программирование (awe) |
| progr. | ladder logic programming | программирование многозвенной логики (ssn) |
| progr. | ladder logic programming | программирование цепочечной логики (ssn) |
| progr. | ladder logic programming | программирование многоступенчатой логики (ssn) |
| progr. | logic object-oriented programming | логическое объектно-ориентированное программирование (Alex_Odeychuk) |
| progr. | logic of programming | логика программирования (Alex_Odeychuk) |
| tech. | logic programming | логическое программирование |
| scient. | logic programming community | сообщество специалистов по логическому программированию (Alex_Odeychuk) |
| progr. | logic programming framework | платформа логического программирования (Alex_Odeychuk) |
| progr. | logic programming language | язык логического программирования (ssn) |
| AI. | logic programming language for expert systems | язык логического программирования экспертных систем (Alex_Odeychuk) |
| progr. | logic programming languages | языки логического программирования (ssn) |
| progr. | logic programming model | модель логического программирования (Alex_Odeychuk) |
| progr. | logic programming of multi-agent systems | логическое программирование многоагентных систем (Alex_Odeychuk) |
| progr. | logic programming paradigm | парадигма логического программирования (Prolog itself has a steeper learning curve than many other languages, and its logic programming paradigm can be challenging for developers accustomed to procedural or object-oriented languages. Alex_Odeychuk) |
| progr. | logic programming propositions | высказывания логического программирования (ssn) |
| AI. | logic programming rule engine | машина обработки фактов и правил логического программирования (Alex_Odeychuk) |
| tech. | logic programming station | станция логического программирования |
| progr. | logic programming system | система логического программирования (Alex_Odeychuk) |
| progr. | logic-based agent programming | логическое агентно-ориентированное программирование (Alex_Odeychuk) |
| progr. | logic-based agent programming language | язык логического агентно-ориентированного программирования (Alex_Odeychuk) |
| progr. | logic-based programming environment | среда логического программирования (Alex_Odeychuk) |
| scient. | logic-programming group | группа специалистов по логическому программированию (Alex_Odeychuk) |
| AI. | logic-programming system | система логического программирования (Alex_Odeychuk) |
| scient. | logic-programming work | работа по логическому программированию (Alex_Odeychuk) |
| progr. | non-concurrent constraint logic programming | последовательное логическое программирование в ограничениях (Alex_Odeychuk) |
| AI. | non-concurrent logic programming | последовательное логическое программирование (Alex_Odeychuk) |
| progr. | object-oriented logic programming | объектно-ориентированное логическое программирование (Alex_Odeychuk) |
| progr. | object-oriented logic programming language | язык объектно-ориентированного логического программирования (Alex_Odeychuk) |
| progr. | objects in logic programming propositions | объекты в высказываниях логического программирования (ssn) |
| progr. | overview of logic programming | обзор логического программирования (ssn) |
| progr. | parallel and distributed logic programming | параллельное и распределённое логическое программирование (Alex_Odeychuk) |
| progr. | perspectives for logic programming | перспективы логического программирования (Alex_Odeychuk) |
| progr. | probabilistic logic programming | вероятностное логическое программирование (Alex_Odeychuk) |
| progr. | Programmable logic controllers exploit the simplicity of relay logic systems by basing their programming language on a pictorial representation of relay logic, the ladder diagram | ПЛК используют простоту релейных логических систем, базируя свой язык программирования на иллюстрированном представлении логики работы реле в виде многоступенчатой диаграммы (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
| progr. | programming based on logic | программирование, основанное на логике (напр., на языке Prolog ssn) |
| progr. | programming database application logic | программирование логики СУБД-приложения (ssn) |
| progr. | programming in logic | программирование в терминах логики (Alex_Odeychuk) |
| Gruzovik, progr. | Programming in Logic | Пролог |
| Gruzovik, progr. | Programming in Logic | программирование в логике (Prolog) |
| tech. | programming in logic | логическое программирование |
| progr. | programming ladder logic | программирование многоступенчатой логики (ssn) |
| SAP.tech. | programming logic | логика программы |
| progr. | programming logic | логика программирования (ssn) |
| progr. | strongly-typed constraint logic programming | логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk) |
| progr. | tabled logic programming | логическое программирование с табулированием (Alex_Odeychuk) |
| progr. | temporal logic programming | программирование в терминах темпоральной логики (Alex_Odeychuk) |
| progr. | temporal logic programming | темпоральное логическое программирование (Alex_Odeychuk) |
| scient. | theory of logic programming | теория логического программирования (Alex_Odeychuk) |
| progr. | understand the logic of programming | понять логику программирования (Alex_Odeychuk) |