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.