12.2.10 Type Tests

SP_is_atom()

tests whether an SP_term_ref contains an atom

SP_is_atomic()

tests whether an SP_term_ref contains an atomic term

SP_is_compound()

tests whether an SP_term_ref contains a compound term

SP_is_float()

tests whether an SP_term_ref contains a floating point number

SP_is_integer()

tests whether an SP_term_ref contains a Prolog integer

SP_is_list()

tests whether an SP_term_ref contains a list cell

SP_is_number()

tests whether an SP_term_ref contains an integer or a floating point number

SP_is_variable()

tests whether an SP_term_ref contains a Prolog variable

SP_term_type()

returns the type of the term in an SP_term_ref