2つの項が単一化不可能かどうか検査する。

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

'\='/2 は、項1 と項2 が単一化不可能ならば成功し、可能ならば失敗する。

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

引数

項1                  項
項2                  項

例

標準

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

関連

冒頭へ