DictionaryForumContacts

   English
Terms containing Logic Programming | all forms | exact matches only | in specified order only
SubjectEnglishRussian
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)
ITfield 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парадигма логического программирования (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)