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
.
戻る
続く..
冒頭へ
