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