論理型プログラミングにおいて、命題の証明を行うための基本的な操作はどれか。
ア | オーバーライド |
イ | オーバーロード |
ウ | メッセージパッシング |
エ | ユニフィケーション |
答え エ
【解説】
ア | オーバーライドは、オブジェクト指向プログラミングでスーパークラスで定義されたメソッドをサブクラスで定義しなおすことです。 |
イ | オーバーロードは、プログラミング言語において関数や演算子やメソッドの同一名や同一の演算子記号について複数定義し、利用時にプログラムの文脈に応じて選択することで複数の動作を行わせる仕組みです。 |
ウ | メッセージパッシングは、オブジェクト指向プログラミングであるオブジェクトから別のオブジェクトに操作を依頼することです。 |
エ | ユニフィケーションは、論理型プログラミングで問題を解く際のアルゴリズム的プロセスで命題の証明を行うための基本的な操作になります。 |
【キーワード】
・論理型プログラミング