программирование с учётом ограничений(тж. программирование в ограничениях; парадигма программирования, предусматривающая представление отношений между переменными в виде ограничений; ограничения отличаются от обычных примитивов других языков программирования тем, что они определяют не шаги или последовательности шагов, подлежащие исполнению, а свойства решения, которое следует найти. Ограничения могут быть различными по природе, могут встраиваться в язык программирования или содержаться в отдельных библиотеках ПО ssn)