Декларативный язык программирования - язык программирования высокого уровня, построенный:
- на описании данных; и
- на описании искомого результата.
Декларативные языки подразделяются на функциональные и логические языки.