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

正解：エ

AI解説

論理型プログラミングは,「事実」と「規則」を論理式として記述し,処理系がもつ導出原理(推論機構)によって問合せに対する結論を導くパラダイムである。代表言語はPrologで,知識ベースと推論エンジンで構成されるエキスパートシステムの開発に適している。 ア: オブジェクト指向プログラミングは,データと操作をオブジェクトとしてまとめ,オブジェクト間のメッセージのやり取りで処理を進めるパラダイムである(Java,Smalltalkなど)。 イ: 関数型プログラミングは,関数の適用と合成によって計算を表現するパラダイムである(LISP,Haskellなど)。 ウ: 手続型プログラミングは,処理手順を命令の並びとして記述するパラダイムである(C,COBOLなど)。 エ: 正しい。事実と規則から導出原理で結論を得る論理型プログラミング(Prolog)の説明である。 💡 「事実・規則・導出(推論)」ときたら論理型=Prologと即答する。パラダイムと代表言語(手続型=C,関数型=LISP,論理型=Prolog,オブジェクト指向=Java/Smalltalk)の対応は定番の暗記事項である。