Manipulating and writing Prolog terms

• int bp_unify(TERM t1,TERM t2): Unify two Prolog terms t1 and t2. The result is BP_TRUE if the unification succeeds and BP_FALSE if fails.  

• TERM bp_get_arg(int i,TERM t): Return the ith argument of term t. The condition bp_is_compound(t) must be true and i must be an integer that is greater than 0 and no greater than t's arity; otherwise, exception is set to illegal_arguments and the Prolog integer 0 is returned.  

• TERM bp_get_car(TERM t): Return the car of the list t. bp_is_list(t) must be true; or exception is set to list_expected and the Prolog integer 0 is returned.  

• TERM get_cdr(TERM t): Return the cdr of the list t. bp_is_list(t) must be true; or exception is set to list_expected and the Prolog integer 0 is returned.  

• void bp_write(TERM t): Send term t to the current output stream.