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