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]
acyclic_term
(
@Term
)
True if
Term
does not contain cycles, i.e. can be processed recursively in finite time. See also
cyclic_term/1
and
section 2.17
.