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.