220.127.116.11 Type Checking
The following predicates take a term as their argument. They are
provided to check the type of that term. The reference pages for
these predicates include examples of their use.
- term T is an atom
- term T is an atom or a number
- T is an atom or a compound term
- T is a compound term
- N is a floating-point number
- term T is a nonvar, and all substructures are nonvar
- term T is an integer
- X is currently instantiated to a mutable term.
- term T is one of atom, number, compound
(that is, T is instantiated)
- N is an integer or a float
- T is not a compound term; it is either atomic or a var
- term T is a variable (that is, T is uninstantiated)
Send feedback on this subject.