noun
declarative language
A programming language that expresses the logic of a computation without describing its control flow. Contrasts with imperative languages.
SQLは宣言型言語の代表例です。
SQL is a typical example of a declarative language.
宣言型言語では、何をしたいかを記述し、手順はあまり気にしません。
In declarative languages, you describe what you want to do and don't worry much about the procedure.
Imperative language; focuses on how to perform tasks step by step, unlike declarative languages which focus on what the result should be.
Compound of 宣言 (declaration) + 型 (type, model) + 言語 (language), a calque of English 'declarative language'.