float/1

4.5 Verify Type of a Term

All Application Manual Name SummaryHelp

Documentation
- Reference manual
  - Built-in Predicates
    - Verify Type of a Term
      - var/1
      - nonvar/1
      - integer/1
      - float/1
      - rational/1
      - rational/3
      - number/1
      - atom/1
      - blob/2
      - string/1
      - atomic/1
      - compound/1
      - callable/1
      - ground/1
      - cyclic_term/1
      - acyclic_term/1
- Packages

Availability:built-in

[ISO]float(@Term)

True if Term is bound to a floating point number.