システムアーキテクト試験 令和6年度 春期 午前II 問9

【正解】エ

ユニフィケーションは、二つの項や述語が同じ形になるように、変数へ値を代入して対応付ける機能です。例えば、問合せparent（X、健）と事実parent（明、健）を照合すると、X＝明という代入によって両者を一致させられます。論理型プログラミングでは、目標と規則又は事実をユニフィケーションで照合し、推論規則を適用します。一致しなければ別の候補へ戻るバックトラッキングも用いながら、命題を証明します。

アのオーバーライドは誤りです。これは、オブジェクト指向で、基底クラスから継承したメソッドを派生クラスが同じ名前と引数で再定義する仕組みです。 イのオーバーロードは誤りです。これは、引数の型や個数が異なる複数の処理に同じ名前を付け、呼出しに応じて使い分ける仕組みです。 ウのメッセージパッシングは誤りです。これは、オブジェクトやプロセス間でメッセージを送り、処理を依頼したり情報を交換したりする仕組みです。

【ポイント】 ユニフィケーションは、単なる文字列比較ではなく、変数への代入を求めて論理式を一致させる操作です。 論理型言語では「事実・規則・問合せ」と「ユニフィケーション・推論・バックトラッキング」の組合せを押さえます。