var/1

引数が変数かどうか検査する。

var(+項)

var/1 は、項 が変数ならば成功し、さもなければ失敗する。

引数 

項                   項

例

var(Variable). 成功.
var(X), X=f(a,b). 成功
X=f(a,b), var(X). 失敗.
var(ab). 失敗.

標準

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

関連

atom/1, atomic/1, compound/1, float/1, integer/1, nonvar/1, number/1.

戻る 続く..