atom
, atomic
, between
, boolean
, callable
,
chars
, codes
, text
, compound
, constant
, float
,
integer
, nonneg
, positive_integer
, negative_integer
,
nonvar
, number
, oneof
, list
, list_or_partial_list
,
symbol
, var
, rational
, encoding
, dict
and string
.
Most of these types are defined by an arity-1 built-in predicate of the same name. Below is a brief definition of the other types.
acyclic Acyclic term (tree); see acyclic_term/1 any between(FloatL,FloatU)
Number [FloatL..FloatU] between(IntL,IntU)
Integer [IntL..IntU] boolean One of true
orfalse
char Atom of length 1 chars Proper list of 1-character atoms code Representation Unicode code point codes Proper list of Unicode character codes constant Same as atomic
cyclic Cyclic term (rational tree); see cyclic_term/1 dict A dictionary term; see is_dict/1 encoding Valid name for a character encoding; see current_encoding/1 list A (non-open) list; see is_list/1 negative_integer Integer < 0 nonneg Integer >=
0oneof(L)
Ground term that is member of L positive_integer Integer > 0 proper_list Same as list list(Type)
Proper list with elements of Type list_or_partial_list A list or an open list (ending in a variable); see is_list_or_partial_list/1 stream A stream name or valid stream handle; see is_stream/1 symbol Same as atom
text One of atom
,string
,chars
orcodes
Note: The Windows version can only represent Unicode code points up
to 2^
16-1. Higher values cause a representation error on
most text handling predicates.
- throws
- instantiation_error if Term is insufficiently instantiated
and
type_error(Type, Term)
if Term is not of Type.