論理型プログラミングにおいて、命題の証明を行うための基本的な機能はどれか。

選択肢

• アオーバーライド
• イオーバーロード
• ウメッセージパッシング
• エユニフィケーション

正解と解説

正解：エ ユニフィケーション

論理型プログラミングでは、事実と規則の集合に対して問合せを与え、変数に適切な値を割り当てて項どうしを一致させながら証明を進める。この、変数への代入を求めて二つの項を同一の形にする操作がユニフィケーション（単一化）であり、導出による推論の基礎となる。

選択肢ごとの解説

• アオーバーライドはオブジェクト指向でサブクラスがメソッドを再定義する仕組みである。
• イオーバーロードは同名で引数の異なるメソッドを複数定義する仕組みである。
• ウメッセージパッシングはオブジェクト間でメッセージを送って処理を依頼する考え方である。
• エ正しい。変数を割り当てて項を一致させるユニフィケーションが証明の基本機能である。

同じ分野の他の問題

• 純粋関数型言語がもつ特性の一つである参照透過性の説明はどれか。2024年度 春期 午前II 問8
• 現在のプログラム A, B に、在庫テーブルを更新した後に更新ログを出力する機能を追加する。この機能は共通モジュールで実…2024年度 春期 午前II 問7
• サブルーチンとの引数の受渡し方のうち，引数として渡した変数の値が，サブルーチンの実行後に変更されないことが保証されている…2025年度 春期 午前II 問9
• プログラムの構造的な複雑度を測る尺度としてMcCabeが提唱したサイクロマティック複雑度がある。制御の流れが次のグラフで…2025年度 春期 午前II 問8
• デザインパターンの一つであるObserverパターンを利用して実現できることはどれか。2025年度 春期 午前II 問5