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