DictionaryForumContacts

Terms for subject Programming containing constraint programming | all forms | exact matches only | in specified order only
EnglishRussian
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)

Get short URL