How to use Prolog testing terms?

How to use these expressions?

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()