|
|
|||||||||
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 標準に含まれる。
関連
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_unification/unify/print_jp.html published 2008/8/25 update 1998/8/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
