|
|
|||||||||
引数が浮動小数点数であるかどうか検査する。
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,
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/type_test/float/print_jp.html published 2008/12/1 update 1998/8/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
