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	any term
between(FloatL,FloatU)	Number [FloatL..FloatU]
between(IntL,IntU)	Integer [IntL..IntU]
boolean	One of true or false
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 >= 0
oneof(L)	Ground term that is member of L
pair	Key-Value pair
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 or codes
type	Term is a valid type specification

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.