\=/2 /MINERVA/Manual/Reference/Predicates/term_unification/not

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

移動
次へ	前へ
上へ	最上

参考

\=/2

=/2

unifiy_with_occurs_check/2

イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 項の単一化 > \=/2

\=/2

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.

続く..

MINERVA

Expert Services on the Web

言語

サーバー

サイトマップ

索引

全体目次

全体索引

印刷向き

imode

PDA

探索

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_unification/not_unifiable/home_jp.html
published 2008/11/17 update 1998/8/7 (c) 1996-2006 IF Computer Japan

IF Computer	〒113-0022	Tel 03-5814-3352	start (AT) ifcomputer.com
Customer Support	東京都文京区千駄木5-28-2		http://www.ifcomputer.co.jp

冒頭へ

\=/2

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

引数

例

標準

関連

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