平成24年度 春期 応用情報技術者試験 午前 問48

解説

論理型プログラミングは，事実（ファクト）と規則（ルール）をプログラムとして記述し，処理系がもつ論理的な導出（推論）機能を用いて結論を導き出すパラダイムです。知識に基づいて推論を行うエキスパートシステムの開発によく用いられ，Prologが代表例です。

選択肢ごとの解説

• ア誤り。オブジェクト指向プログラミングはデータと手続きをオブジェクトとしてまとめる考え方であり，事実と規則からの推論を主体とするものではありません。
• イ誤り。関数型プログラミングは関数の適用によって計算を進める考え方であり，事実と規則の導出を直接扱うものではありません。
• ウ誤り。手続型プログラミングは処理手順を逐次的に記述する考え方であり，論理的な導出を行う仕組みではありません。
• エ正しい。事実と規則を記述し，導出原理によって結論を得るのが論理型プログラミングであり，エキスパートシステムに適しています。