非手続き型言語

非手続き型言語（ひてつづきがたげんご、non-procedual language）とは、コンピュータのプログラミング言語の分類のひとつであり、手続き型言語の対義語にあたる。手続き型言語に対するアンチテーゼとして非手続き型という分類が生まれた。宣言型言語 (Declarative language)と同義に扱われることが多い。

高級言語の一種であり、手続き型言語が問題の解法 ("how")を記述しようとするのに対し、非手続き型言語はむしろ問題そのもの ("what")を記述することに力点を置く。

例としては

• 関数型言語
  • APL、LISPなど
• 論理型言語
  • Prolog
• 問い合わせ言語（データベース言語）
  • SQL
• リアクティブプログラミング
• データフロープログラミング

などがある。

参考書籍

• 西垣通他『情報学事典』弘文堂、2002年

関連項目

• プログラミング言語一覧
• 宣言型プログラミング