declarative language
A programming language paradigm where the logic of computation is expressed without describing its control flow. Used in computing contexts.
SQL is a type of declarative language.
Procedural language, which specifies explicit steps for computation, contrasting with the declarative approach.
Compound of 宣言 (declaration) + 形 (type/form) + 言語 (language), a calque from English 'declarative language'.