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