| 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 object-oriented programming | логическое объектно-ориентированное программирование (Alex_Odeychuk) |
| logic of programming | логика программирования (Alex_Odeychuk) |
| 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) |
| logic-based agent programming | логическое агентно-ориентированное программирование (Alex_Odeychuk) |
| logic-based agent programming language | язык логического агентно-ориентированного программирования (Alex_Odeychuk) |
| logic-based programming environment | среда логического программирования (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) |
| 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) |
| programming based on logic | программирование, основанное на логике (напр., на языке Prolog ssn) |
| programming database application logic | программирование логики СУБД-приложения (ssn) |
| Programming in Logic | Пролог |
| Programming in Logic | программирование в логике (Prolog) |
| programming in logic | программирование в терминах логики (Alex_Odeychuk) |
| programming ladder logic | программирование многоступенчатой логики (ssn) |
| programming logic | логика программирования (ssn) |
| strongly-typed constraint logic programming | логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk) |
| tabled logic programming | логическое программирование с табулированием (Alex_Odeychuk) |
| temporal logic programming | программирование в терминах темпоральной логики (Alex_Odeychuk) |
| temporal logic programming | темпоральное логическое программирование (Alex_Odeychuk) |
| understand the logic of programming | понять логику программирования (Alex_Odeychuk) |