язык логического программирования в ограничениях(в языке логического программирования в ограничениях машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Alex_Odeychuk)
объектный язык ограничений(сокр. OCL; UML определяет Объектный язык ограничений (Object Constraint Language, OCL) как стандартное расширение. Это текстовый язык, который служит для определения ограничений и запросов. Он не предназначен для написания действий или выполнимого кода ssn)