=/2

2つの項を単一化する。

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

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

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

引数 

項1                  項
項2                  項

例

X is 10*10, X=100. 代入 X <- 100 で成功。
X=f(X), Y=f(Y), X=Y.
integer(2) = integer(2.0). 失敗.

標準

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

関連

'\='/2, unify_with_occurs_check/2.

戻る 続く..