6.4.5 Testing Prolog Terms

There is one general function for type testing of Prolog terms as well as a set of specialized, more efficient, functions—one for each term type:

SP_term_type()
Accesses term type.
SP_is_variable()
Checks whether term is a variable.
SP_is_integer()
Checks whether term is an integer.
SP_is_float()
Checks whether term is a float.
SP_is_atom()
Checks whether term is an atom.
SP_is_compound()
Checks whether term is compound.
SP_is_list()
Checks whether term is a list.
SP_is_atomic()
Checks whether term is atomic.
SP_is_number()
Checks whether term is a number.

Send feedback on this subject.