• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

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.54As 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.
ClioPatria (version V3.1.1-21-gb8003bb)