- var(+Term)
-
Succeeds if Term currently is a free variable.
- nonvar(+Term)
-
Succeeds if Term currently is not a free variable.
- integer(+Term)
-
Succeeds if Term is bound to an integer.
- float(+Term)
-
Succeeds if Term is bound to a floating point number.
- number(+Term)
-
Succeeds if Term is bound to an integer or a floating point
number.
- atom(+Term)
-
Succeeds if Term is bound to an atom.
- string(+Term)
-
Succeeds if Term is bound to a string.
- atomic(+Term)
-
Succeeds if Term is bound to an atom, string, integer or
floating point number.
- compound(+Term)
-
Succeeds if Term is bound to a compound term. See also functor/3
and =../2.
- callable(+Term)
-
Succeeds if Term is bound to an atom or a compound term, so
it can be handed without type-error to call/1, functor/3
and =../2.
- ground(+Term)
-
Succeeds if Term holds no free variables.
- cyclic_term(+Term)
-
Succeeds if Term contains cycles, i.e. is an infinite term.
See also acyclic_term/1
and section 2.16. (19)
- acyclic_term(+Term)
-
Succeeds if Term does not contain cycles, i.e. can be
processed recursively in finite time. See also cyclic_term/1
and section 2.16.