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