atom/1

引数がアトムかどうかを検査する。

atom(+項)

atom/1 は、項 がアトムならば成功し、そうでなければ失敗する。

引数 

項                   項

例

atom('this is an atom'). 成功.
atom([]). 成功.
atom(Var). 失敗.
atom([a,t,o,m]). 失敗.

標準

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

関連

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

戻る 続く..