2023-04-04 SA 平成26年度秋期 問11 システムアーキテクト 論理型プログラミングにおいて,命題の証明を行うための基本的な操作はどれか。 オーバライド オーバロード メッセージパッシング ユニフィケーション 解答・解説 解答 エ 解説 オーバライド作成中 オーバロード作成中 メッセージパッシング作成中 ユニフィケーション作成中 参考書・問題集 参考情報 分野・分類 分野 テクノロジ系 大分類 開発技術 中分類 システム開発技術 小分類 実装・構築 出題歴 SA 平成26年度秋期 問11 前問 一覧 次問