unifiy_with_occurs_check/2

出現検査を考慮して、2項を単一化する。

unify_with_occurs_check(?項1, ?項2)

'='/2 は、項1 と 項2 が 同一のもので単一化可能ならば成功し、 同一のものでなく単一化不可能ならば失敗。
=/2 との違いは、無限項を作ろうとした時、失敗することである。

引数

項1                  項
項2                  項

例

標準

この述語は、ISO-Prolog 標準にふくまれる。

関連

=/2, \=/2.