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