単一化
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/12 02:49 UTC 版)
単一化は1960年代の述語論理理論の発展の鍵となった概念であるが、Prolog が述語論理に導かれて機械による自動証明を実現するためのプログラム言語として成立したことから、必然的にこの言語の必須の最も重要な機構となった。単一化は副目標（質問）と対応する定義節の頭部のパターンが完全に一致するか、調べることで、節の選択を可能にする。さらに、Prolog の実行順序等の制御は単一化のからくりを利用してプログラミングされる。 簡単なからくりでかつ極めて強力な単一化であるが実行コストも大きい、すなわち実行速度が遅くなる原因となる。さらに、パターンとして認識することと引き換えに、引数での関数評価は不可能になった。独立して節の本体で式評価を記述しなくてはならないため、数値計算ではやや冗長になる。これらの点は、単一化の強力さとのトレードオフの関係になっている。
※この「単一化」の解説は、「Prolog」の解説の一部です。
「単一化」を含む「Prolog」の記事については、「Prolog」の概要を参照ください。
ウィキペディア小見出し辞書の「単一化」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
このページでは「ウィキペディア小見出し辞書」から単一化を検索した結果を表示しています。
Weblioに収録されているすべての辞書から単一化を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から単一化
を検索
Weblioに収録されているすべての辞書から単一化を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から単一化
を検索
- 単一化のページへのリンク
