11.3.134 number/1 [ISO]

Synopsis

number(+Term)

Term is currently instantiated to a number.

Arguments

Term

term

Examples

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

See Also

ref-lte-met-typ.