4.6 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]number(@Term)
True if Term is bound to an integer or floating point number.56As rational numbers are not atomic in the current implementation and we do not want to break the rule that number/1 implies atomic/1, number/1 fails on rational numbers. This will change if rational numbers become atomic.