English | Russian |
concurrent constraint logic programming | многопоточное логическое программирование в ограничениях (Alex_Odeychuk) |
concurrent constraint programming | параллельное программирование в ограничениях (Alex_Odeychuk) |
concurrent constraint programming | совмещённое программирование в ограничениях (Alex_Odeychuk) |
constraint imperative 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 programming | программирование с учётом ограничений (тж. программирование в ограничениях; парадигма программирования, предусматривающая представление отношений между переменными в виде ограничений; ограничения отличаются от обычных примитивов других языков программирования тем, что они определяют не шаги или последовательности шагов, подлежащие исполнению, а свойства решения, которое следует найти. Ограничения могут быть различными по природе, могут встраиваться в язык программирования или содержаться в отдельных библиотеках ПО ssn) |
constraint programming application | приложение на языке логического программирования в ограничениях (Alex_Odeychuk) |
constraint programming features | средства программирования в ограничениях (Alex_Odeychuk) |
constraint programming system | система программирования в ограничениях (Alex_Odeychuk) |
constraint-based logic programming | логическое программирование в ограничениях (Alex_Odeychuk) |
constraint-based logic programming language | язык логического программирования в ограничениях (Alex_Odeychuk) |
constraint-based programming | программирование в ограничениях (Alex_Odeychuk) |
distributed parallel constraint logic programming | распределённое параллельное логическое программирование в ограничениях (Alex_Odeychuk) |
high-level constraint programming | высокоуровневое программирование в ограничениях (Alex_Odeychuk) |
high-level constraint programming system | система высокоуровневого программирования в ограничениях (Alex_Odeychuk) |
imperative constraint programming | императивное программирование в ограничениях (Alex_Odeychuk) |
non-concurrent constraint logic programming | последовательное логическое программирование в ограничениях (Alex_Odeychuk) |
object-oriented constraint programming | объектно-ориентированное программирование в ограничениях (Alex_Odeychuk) |
object-oriented imperative constraint programming | императивное объектно-ориентированное программирование в ограничениях (Alex_Odeychuk) |
object-oriented imperative constraint programming language | язык императивного объектно-ориентированного программирования в ограничениях (Alex_Odeychuk) |
strongly-typed constraint logic programming | логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk) |
support for constraint programming | поддержка программирования в ограничениях (Alex_Odeychuk) |
with support for constraint programming | с поддержкой программирования в ограничениях (Alex_Odeychuk) |