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
blob_released/1
string/1
atomic/1
compound/1
callable/1
ground/1
cyclic_term/1
acyclic_term/1
Packages
Availability:
built-in
blob
(
@Term, ?Type
)
True if
Term
is a
blob
of type
Type
. See
section 12.4.10
. For a blob read using the
blob(dead)
option of
read_term/3
,
Type
is the type the blob stands for, while
current_blob/2
reports its real type
unavailable
.