論理プログラミング

論理プログラミング#

  • 読み: ろんりぷろぐらみんぐ

  • 英名: Logic Programing

計算機のプログラムを数理論理学の概念を用いて表現するプログラミングパラダイムであり,数学的背景として証明論とモデル理論を持つ.

論理型プログラミング言語では,一階述語論理式のうちホーン節と呼ばれる論理式を扱うことができ,推論機能を持っていることを特徴とする.述語表現を用いた宣言的な記述をするため関係型言語とも呼ばれる.論理型プログラミング言語として代表的なものに Prolog とその派生言語があり,これらは超高水準言語に分類される.知識データベースを利用したプログラミングをするため,主に知識工学の分野で活躍をしているが,その用途は多岐に渡る.

関連