|
|
|||||||||
出現検査を考慮して、2項を単一化する。
unify_with_occurs_check(?項1, ?項2)
'='/2 は、項1 と 項2 が 同一のもので単一化可能ならば成功し、
同一のものでなく単一化不可能ならば失敗。
=/2 との違いは、無限項を作ろうとした時、失敗することである。
引数
項1 項 項2 項
例
| unify_with_occurs_check(f(X,1), f(1,X)). | X <- 1 の代入で成功。 |
| unify_with_occurs_check(f(X),X). | 失敗 |
標準
この述語は、ISO-Prolog 標準にふくまれる。
関連
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_unification/unify_with_occurs_check/print_jp.html published 2012/5/21 update 1998/8/7 (c) 1996-2009 IF Computer Japan | ||||||||
|
