integer/1

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

integer(+項)

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

引数 

項                   項

例

integer(101). 成功.
integer(-5). 成功.
X is 5-3, integer(X). 成功.
integer(12.3). 失敗.
integer(12+3). 失敗.

標準

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

関連

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

戻る 続く..