SWI-Prolog -- float/1

Places
- Home
- Graphs
- Prefixes
Admin
- Users
- Settings
- Plugins
- Statistics
Repository
Query
Help
Login

4.5 Verify Type of a Term

AllApplicationManualNameSummaryHelp

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.

ClioPatria (version V3.1.1-40-g9d9e003)