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