| Russian | English |
| Ассоциация логического программирования | Association for Logic Programming (Alex_Odeychuk) |
| библиотека нечётко-логического программирования | fuzzy logic programming library (Alex_Odeychuk) |
| в логическом программировании | in the context of logic programming (Alex_Odeychuk) |
| в UML пакет – логическая концепция проекта. в конечном счёте, пакеты должны быть реализованы и отображены в концепциях языка программирования. Современные языки, особенно Java и C#, обеспечивают прямое использование понятия пакета в конечной реализации. Поддержка пакета реализаций обеспечивается в форме пространства имен для классов и для импортирования других пакетов | in the UML, package is a logical design concept. Eventually, packages must be implemented and mapped to programming language concepts. Modern languages, most notably Java and C#, provide for a direct mapping that uses the notion of the package on the implementation end. The support for the implementation package is in the form of a namespace for classes and for importing other packages (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| в UML пакет логическая концепция проекта. в конечном счёте, пакеты должны быть реализованы и отображены в концепциях языка программирования. Современные языки, особенно Java и C#, обеспечивают прямое использование понятия пакета в конечной реализации. Поддержка пакета реализаций обеспечивается в форме пространства имен для классов и для импортирования других пакетов | in the UML, package is a logical design concept. Eventually, packages must be implemented and mapped to programming language concepts. Modern languages, most notably Java and C#, provide for a direct mapping that uses the notion of the package on the implementation end. The support for the implementation package is in the form of a namespace for classes and for importing other packages (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| вероятностное логическое программирование | probabilistic logic programming (Alex_Odeychuk) |
| высказывания логического программирования | logic programming propositions (ssn) |
| высокопроизводительное логическое программирование | high-performance logic programming (Alex_Odeychuk) |
| индуктивное логическое программирование | ILP (сокр. от "inductive logic programming" Alex_Odeychuk) |
| индуктивное логическое программирование | inductive logic programming (Alex_Odeychuk) |
| логическое агентно-ориентированное программирование | logic-based agent programming (Alex_Odeychuk) |
| логическое объектно-ориентированное программирование | logic object-oriented programming (Alex_Odeychuk) |
| логическое параллельное программирование | logical parallel programming (Alex_Odeychuk) |
| логическое программирование в ограничениях | constraint-based logic programming (Alex_Odeychuk) |
| логическое программирование в ограничениях | CLP (см. constraint logic programming ssn) |
| логическое программирование в ограничениях | constraint logic programming (сокр. CLP; разновидность программирования в ограничениях (constraint programming) и логического программирования, где машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Например, множество ограничений типа x100, y40 позволит исключить из рассмотрения все значения, не удовлетворяющие этому требованию, при поиске решения для выражения КратчайшееРасстояние(x, y). Существует много экспериментальных и коммерческих языков CLP, напр., CHIP и Eclipse, созданы средства (устройства, машины) разрешения ограничений для ряда предметных областей – это арифметики целых, действительных, линейных рациональных чисел, булева арифметика и сравнение строк. Syn: constraint-based programming ssn) |
| логическое программирование в ограничениях со строгой типизацией | strongly-typed constraint logic programming (Microsoft Alex_Odeychuk) |
| логическое программирование многоагентных систем | logic programming of multi-agent systems (Alex_Odeychuk) |
| логическое программирование с использованием дизъюнктов Хорна | logical programming with Horn clauses (Alex_Odeychuk) |
| логическое программирование с использованием хорновских дизъюнктов | logical programming with Horn clauses (Alex_Odeychuk) |
| логическое программирование с табулированием | tabled logic programming (Alex_Odeychuk) |
| логическое расположение синтаксических единиц языка программирования в исходном коде | the logical ordering of source code (Alex_Odeychuk) |
| логическое расположение синтаксических единиц языка программирования в исходном коде | the logical ordering of source code tokens (Alex_Odeychuk) |
| Международная конференция по логическому программированию | International Conference on Logic Programming (Alex_Odeychuk) |
| Международная конференция по логическому программированию | ICLP (сокр. от "International Conference on Logic Programming" Alex_Odeychuk) |
| многопоточное логическое программирование в ограничениях | concurrent constraint logic programming (Alex_Odeychuk) |
| модель логического программирования | logic programming model (Alex_Odeychuk) |
| нечётко-логическое программирование | fuzzy logic programming (Alex_Odeychuk) |
| обзор логического программирования | overview of logic programming (ssn) |
| объединение параллельной обработки данных и логического программирования | integration of parallelism and logic programming (Alex_Odeychuk) |
| объектно-ориентированное логическое программирование | object-oriented logic programming (Alex_Odeychuk) |
| объекты в высказываниях логического программирования | objects in logic programming propositions (ssn) |
| основная цель логического программирования | fundamental goal of logic programming (ssn) |
| парадигма логического программирования | logic programming paradigm (Alex_Odeychuk) |
| параллельное и распределённое логическое программирование | parallel and distributed logic programming (Alex_Odeychuk) |
| первооткрыватель логического программирования | discoverer of logic programming (Alex_Odeychuk) |
| перспективы логического программирования | perspectives for logic programming (Alex_Odeychuk) |
| платформа логического программирования | logic programming framework (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) |
| последовательное логическое программирование в ограничениях | non-concurrent constraint logic programming (Alex_Odeychuk) |
| приложение на языке логического программирования в ограничениях | constraint programming application (Alex_Odeychuk) |
| применение логического программирования | applications of logic programming (ssn) |
| программирование логического вывода | inference programming |
| распределённое параллельное логическое программирование | distributed parallel logic programming (Alex_Odeychuk) |
| распределённое параллельное логическое программирование в ограничениях | distributed parallel constraint logic programming (Alex_Odeychuk) |
| семейство языков логического программирования | family of logic programming languages (Alex_Odeychuk) |
| синтаксис языка логического программирования | logic-based syntax (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| система логического программирования | LP system (LP – сокр. от "logic programming" Alex_Odeychuk) |
| система логического программирования | logic programming system (Alex_Odeychuk) |
| система логического программирования в ограничениях | CLP system (Alex_Odeychuk) |
| система логического программирования в ограничениях | constraint logic programming system (Alex_Odeychuk) |
| среда логического программирования | logic-based programming environment (Alex_Odeychuk) |
| темпоральное логическое программирование | temporal logic programming (Alex_Odeychuk) |
| функционально-логическое программирование | functional-logic programming (Alex_Odeychuk) |
| язык агентно-ориентированного логического программирования | agent-oriented logic programming language (Alex_Odeychuk) |
| язык высокопроизводительного логического программирования | high-performance logic programming language (Alex_Odeychuk) |
| язык логического агентно-ориентированного программирования | logic-based agent programming language (Alex_Odeychuk) |
| язык логического программирования | logic-based language (Alex_Odeychuk) |
| язык логического программирования | logic programming language (ssn) |
| язык логического программирования в ограничениях | constraint logic language (Alex_Odeychuk) |
| язык логического программирования в ограничениях | constraint logic programming language (в языке логического программирования в ограничениях машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Alex_Odeychuk) |
| язык логического программирования в ограничениях | constraint-based logic programming language (Alex_Odeychuk) |
| язык логического программирования общего назначения | general purpose logic programming language (Alex_Odeychuk) |
| язык логического программирования с индуктивным выводом | bottom-up logic programming language (Alex_Odeychuk) |
| язык логического программирования с индуктивным выводом | forward-chaining logic programming language (Alex_Odeychuk) |
| язык объектно-ориентированного логического программирования | object-oriented logic programming language (Alex_Odeychuk) |
| язык функционально-логического программирования | functional-logic programming language (Alex_Odeychuk) |
| языки логического программирования | logic programming languages (ssn) |
