4.5 Verify Type of a Term
All
Application
Manual
Name
Summary
Help
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 a rational number (including integers) or a floating point number.