декларативный язык программирования

Декларати́вные языки́ программи́рования — это языки программирования высокого уровня, в которых программистом не задается пошаговый алгоритм решения задачи ("как" решить задачу), а некоторым образом описывается, "что" требуется получить в качестве результата. Типичным примером таких языков являются языки логического программирования (языки, основанные на системе правил).