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