number/1

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

number(+項)

number/1 は項 が数ならば成功し、そうでなければ失敗する。

引数 

項                   項

例

number(-11.3). 成功.
number(100). 成功.
number(Number). 失敗.
X is 3, Y is 2, number(X+Y). 失敗.

標準

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

関連

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

戻る 続く..