float/1

引数が浮動小数点数であるかどうか検査する。

float(+項)

float/1 は、項 が浮動小数点数ならば成功し、さもなければ失敗する。

引数 

項                   項

例

float(7.11). 成功.
X=4.3*2, float(X). 成功.
float(4.3*2). 失敗.
float(7). 失敗.

標準

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

関連

atom/1, atomic/1, compound/1, integer/1, nonvar/1, number/1, var/1,

戻る 続く..