float/1 meta-logical

Synopsis

float(+Term)

Term is currently instantiated to a float.

Arguments

Term term

Example

     | ?- float(Term1).
     
     no
     | ?- float(5.2).
     
     yes
     

See Also

atom/1, atomic/1, number/1, var/1, compound/1, callable/1, nonvar/1, simple/1