問11
11 / 25
論理型プログラミングにおいて,命題の証明を行うための基本的な操作はどれか。
オーバライド
オーバロード
メッセージパッシング
ユニフィケーション -8=
論理型プログラミング(Prologなど)で命題の証明を進める基本操作はユニフィケーション(単一化)で、変数と項を対応付けて一致させる操作です。よって正解はエです。ア・イはオブジェクト指向、ウはメッセージ送信で無関係です。
