|
|
|||||||||
2つの項が単一化不可能かどうか検査する。
?項1 \= ?項2
\=(?項1, ?項2)
'\='/2 は、項1 と項2 が単一化不可能ならば成功し、可能ならば失敗する。
'\='/2 は、優先順位が700、非結合性の組み込み挿入演算子である。(関連 current_op/3).
引数
項1 項 項2 項
例
| \=(7,7.00). | 成功. |
| X=a, f(X,b) \= f(b,b). | 成功. |
| f(g(X),X) \= f(Y,write(a)). | 失敗. |
標準
この述語は、ISO-Prolog 標準に含まれる。
関連
'='/2, unify_with_occurs_check/2.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_unification/not_unifiable/print_jp.html published 2012/5/21 update 1998/8/7 (c) 1996-2009 IF Computer Japan | ||||||||
|
