Next: , Previous: mpg-ref-findall, Up: mpg-bpr

11.3.81 float/1   [ISO]

Synopsis

float(+Term)

Term is currently instantiated to a float.

Arguments

Term
term

Examples

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

Exceptions

None.

See Also

ref-lte-met-typ.

Send feedback on this subject.