=/2

2つの項を単一化する。

?項1 = ?項2
=(?項1, ?項2)

'='/2 は、項2 で項1 を単一化する。2項が単一化可能ならば成功し、そうでなければ失敗する。

'='/2 は、非結合性、優先順位700の組み込み挿入演算子である。 (関連 current_op/3).

引数

項1                  項
項2                  項

例

標準

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

関連

'\='/2, unify_with_occurs_check/2.