Язык декларативный (Declarative language) — язык программирования для выражения определений.
Примечание. В качестве такого языка часто выступает язык описания данных
[ГОСТ 19781-90. Обеспечение систем обработки информации программное. Термины и определения]