出現検査
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/22 09:08 UTC 版)
変数 x を x が部分として出現する関数 x=f(...,x,...) とユニフィケーションしようとする場合、x は無限個の項を持たなければならなくなる。これは有限であるとした項の定義と矛盾するため、ユニフィケーションは失敗する。そのためユニフィケーション問題を解くアルゴリズムでは、まず x がユニフィケーションしようとする項の中に出現しないかチェックする。これを出現検査(英語版)などと呼ぶ。
※この「出現検査」の解説は、「ユニフィケーション」の解説の一部です。
「出現検査」を含む「ユニフィケーション」の記事については、「ユニフィケーション」の概要を参照ください。
- 出現検査のページへのリンク