number/1 meta-logical

Synopsis

number(+Term)

Term is currently instantiated to either an integer or a float.

Arguments

Term term

Examples

     | ?- number(5.2).
     
     yes
     | ?- number(5).
     
     yes
     

See Also

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