宣言型プログラミング
declarative programming
宣言型言語
数理論理学
参照透過性
表示的意味論
ドメイン固有言語
問い合わせ言語
マークアップ言語
モデリング言語
https://ja.wikipedia.org/wiki/宣言型プログラミング