システムアーキテクト試験(SA) の 1門
第1問
論理型プログラミングにおいて、命題の証明を行うための基本的な操作はどれか。
オーバーライド
オーバーロード
メッセージパッシング
ユニフィケーション
