Программирование с ограничениями — парадигма программирования, в которой отношения между переменными указаны в форме ограничения. Ограничения отличаются от общих примитивов императивного программирования языков в том, что они не определяют шаг или последовательность шагов для выполнения, а скорее свойства решения, которое необходимо найти.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]