nonvar/1

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

nonvar(+項)

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

引数 

項                   項

例

nonvar('this is an atom'). 成功.
nonvar([l,i,s,t]). 成功
nonvar(Variable). 失敗.
nonvar(_27). 失敗.

標準

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

関連

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

戻る 続く..