IPA公式正解：エ ユニフィケーション
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【エ】です。Prologなどの論理型プログラミング言語において、2つの項や論理式に含まれる変数を適切に代入・置き換えることで両者を一致させるパターン照合・等値化アルゴリズムをユニフィケーション（単一化）と呼びます。
【詳細解説】■ 本問の核心・解法のポイント
論理型プログラミング（Prolog等）の推論機構の中核である「ユニフィケーション（単一化：Unification）」の理解を問う問題です。論理型言語では事実や規則として定義された節と、証明したい目標（ゴール）の変数同士を代入によって一致させ、命題の証明や解の探索を行います。
・各選択肢の徹底解説：
・ア：オーバーライドは、オブジェクト指向プログラミングにおいて、スーパークラス（親クラス）で定義されたメソッドをサブクラス（子クラス）で再定義し、挙動を上書きする機能です。
・イ：オーバーロードは、同一クラス内で名前が同じで引数の型や個数が異なるメソッドを複数定義する多重定義の機能です。
・ウ：メッセージパッシングは、オブジェクト指向システム等でオブジェクト同士がメッセージを送受信することで協調動作する通信機構です。
・エ【選択肢エ★】：ユニフィケーション（単一化）の説明です。論理型プログラミングにおいて、変数を含む2つの論理式が等しくなるように変数へ項を代入し、命題の証明や導出を進める基本機能です。
よって正解はエです。
