atomic/1
引数がアトムまたは数かどうか検査する。
atomic(+項)
atomic
/1 は、
項
がアトムか数ならば成功し、そうでなければ失敗する。
引数
項 項
例
atomic('this is an atom').
成功.
atomic(15.27).
成功.
atomic(Var).
失敗.
atomic(f(x,y)).
失敗.
標準
この述語は、ISO-Prolog 標準に含まれる。
関連
atom/1
,
compound/1
,
float/1
,
integer/1
,
nonvar/1
,
number/1
,
var/1
.
戻る
続く..
冒頭へ
