float/1 /MINERVA/Manual/Reference/Predicates/type_test/float/

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

移動
次へ	前へ
上へ	最上

参考

イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 型検査 > float/1

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,

続く..

MINERVA

Expert Services on the Web

言語

サーバー

サイトマップ

全体目次

全体索引

imode

PDA

探索

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/type_test/float/home_jp.html
published 2012/5/21 update 1998/8/7 (c) 1996-2009 IF Computer Japan

IF Computer	〒113-0022	Tel 03-5814-3352	start (AT) ifcomputer.com
Customer Support	東京都文京区千駄木5-28-2		http://www.ifcomputer.co.jp

managed with ubiCMS