| English | Russian |
| 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) |
| distributed parallel constraint logic programming | распределённое параллельное логическое программирование в ограничениях (Alex_Odeychuk) |
| non-concurrent constraint logic programming | последовательное логическое программирование в ограничениях (Alex_Odeychuk) |
| strongly-typed constraint logic programming | логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk) |