情報処理技術者試験ナビ

当サイトは準備中です。

SA 26秋 午前Ⅱ 問11

問題

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

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

 

答え

      エ

解説

 

 

関連情報

オンラインテキスト

 

キーワード

 

過去の出題