システムアーキテクト 2024年 春期 問9

ユニフィケーション

論理型プログラミングで命題の証明を行う基本機能はユニフィケーション(単一化)で、項どうしを照合して変数の割当てを求めます。オーバーライドやオーバーロード、メッセージパッシングはオブジェクト指向の概念で該当しません。