projog

3.8. float(X) - checks that a term is a floating point number.

float(X) succeeds if X currently stands for a floating point number.

Examples

?- float(1.0).

yes

?- float(-1.0).

yes

?- float(0.0).

yes

?- float(1).

no

?- float(-1).

no

?- float(0).

no

?- float('1').

no

?- float('1.0').

no

?- float(a).

no

?- float(p(1.0,2.0,3.0)).

no

?- float([1.0,2.0,3.0]).

no

?- float([]).

no

?- float(X).

no

?- float(_).

no