Testing Prolog terms

The following functions are provided for testing Prolog terms. They return BP_TRUE when succeed and BP_FALSE when fail.

• int bp_is_atom(TERM t): Term t is an atom.  

• int bp_is_integer(TERM t): Term t is an integer.  

• int bp_is_float(TERM t): Term t is a floating-point number.  

• int bp_is_nil(TERM t): Term t is a nil.  

• int bp_is_list(TERM t): Term t is a list.  

• int bp_is_structure(TERM t): Term t is a structure (but not a list).  

• int bp_is_compound(TERM t): True if either bp_is_list(t) or bp_is_structure(t) is true.  

• int bp_is_unifiable(TERM t1, TERM t2): t1 and t2 are unifiable. This is equivalent to the Prolog call not(not(t1=t2)).  

• int bp_is_identical(TERM t1, TERM t2): t1 and t2 are identical. This function is equivalent to the Prolog call t1==t2.