| English | Russian |
| agent-oriented logic programming language | язык агентно-ориентированного логического программирования (Alex_Odeychuk) |
| applications of logic programming | применение логического программирования (ssn) |
| Association for Logic Programming | Ассоциация логического программирования (Alex_Odeychuk) |
| bottom-up logic programming language | язык логического программирования с индуктивным выводом (Alex_Odeychuk) |
| concurrent constraint logic programming | многопоточное логическое программирование в ограничениях (Alex_Odeychuk) |
| constraint logic programming | логическое программирование в ограничениях (сокр. CLP; разновидность программирования в ограничениях (constraint programming) и логического программирования, где машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Например, множество ограничений типа x100, y40 позволит исключить из рассмотрения все значения, не удовлетворяющие этому требованию, при поиске решения для выражения КратчайшееРасстояние(x, y). Существует много экспериментальных и коммерческих языков CLP, напр., CHIP и Eclipse, созданы средства (устройства, машины) разрешения ограничений для ряда предметных областей – это арифметики целых, действительных, линейных рациональных чисел, булева арифметика и сравнение строк. Syn: constraint-based programming ssn) |
| constraint logic programming language | язык логического программирования в ограничениях (в языке логического программирования в ограничениях машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Alex_Odeychuk) |
| constraint logic programming system | система логического программирования в ограничениях (Alex_Odeychuk) |
| constraint-based logic programming | логическое программирование в ограничениях (Alex_Odeychuk) |
| constraint-based logic programming language | язык логического программирования в ограничениях (Alex_Odeychuk) |
| discoverer of logic programming | первооткрыватель логического программирования (Alex_Odeychuk) |
| distributed parallel constraint logic programming | распределённое параллельное логическое программирование в ограничениях (Alex_Odeychuk) |
| distributed parallel logic programming | распределённое параллельное логическое программирование (Alex_Odeychuk) |
| family of logic programming languages | семейство языков логического программирования (Alex_Odeychuk) |
| forward-chaining logic programming language | язык логического программирования с индуктивным выводом (Alex_Odeychuk) |
| functional-logic programming | функционально-логическое программирование (Alex_Odeychuk) |
| functional-logic programming language | язык функционально-логического программирования (Alex_Odeychuk) |
| fundamental goal of logic programming | основная цель логического программирования (ssn) |
| fuzzy logic programming | программирование на основе аппарата нечёткой логики (Alex_Odeychuk) |
| fuzzy logic programming | нечётко-логическое программирование (Alex_Odeychuk) |
| fuzzy logic programming library | библиотека нечётко-логического программирования (Alex_Odeychuk) |
| fuzzy logic programming library | библиотека для программирования на основе аппарата нечёткой логики (Alex_Odeychuk) |
| general purpose logic programming language | язык логического программирования общего назначения (Alex_Odeychuk) |
| high-performance logic programming | высокопроизводительное логическое программирование (Alex_Odeychuk) |
| high-performance logic programming language | язык высокопроизводительного логического программирования (Alex_Odeychuk) |
| in the context of logic programming | в логическом программировании (Alex_Odeychuk) |
| inductive logic programming | индуктивное логическое программирование (Alex_Odeychuk) |
| integration of parallelism and logic programming | объединение параллельной обработки данных и логического программирования (Alex_Odeychuk) |
| International Conference on Logic Programming | Международная конференция по логическому программированию (Alex_Odeychuk) |
| ladder logic programming | программирование цепочечной логики (ssn) |
| ladder logic programming | программирование многозвенной логики (ssn) |
| ladder logic programming | программирование многоступенчатой логики (ssn) |
| logic programming framework | платформа логического программирования (Alex_Odeychuk) |
| logic programming language | язык логического программирования (ssn) |
| logic programming languages | языки логического программирования (ssn) |
| logic programming model | модель логического программирования (Alex_Odeychuk) |
| logic programming of multi-agent systems | логическое программирование многоагентных систем (Alex_Odeychuk) |
| 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) |
| logic programming propositions | высказывания логического программирования (ssn) |
| logic programming system | система логического программирования (Alex_Odeychuk) |
| non-concurrent constraint logic programming | последовательное логическое программирование в ограничениях (Alex_Odeychuk) |
| object-oriented logic programming | объектно-ориентированное логическое программирование (Alex_Odeychuk) |
| object-oriented logic programming language | язык объектно-ориентированного логического программирования (Alex_Odeychuk) |
| objects in logic programming propositions | объекты в высказываниях логического программирования (ssn) |
| overview of logic programming | обзор логического программирования (ssn) |
| parallel and distributed logic programming | параллельное и распределённое логическое программирование (Alex_Odeychuk) |
| perspectives for logic programming | перспективы логического программирования (Alex_Odeychuk) |
| probabilistic logic programming | вероятностное логическое программирование (Alex_Odeychuk) |
| strongly-typed constraint logic programming | логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk) |
| tabled logic programming | логическое программирование с табулированием (Alex_Odeychuk) |
| temporal logic programming | программирование в терминах темпоральной логики (Alex_Odeychuk) |
| temporal logic programming | темпоральное логическое программирование (Alex_Odeychuk) |