- int bp_unify(TERM t1,TERM t2):
Unifies two Prolog terms, t1 and t2. The result is BP_TRUE if the unification succeeds, and the result is BP_FALSE if the unification fails.
- TERM bp_get_arg(int i,TERM t):
Returns 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, but is not 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):
Returns the car of the list t. bp_is_list(t) must be true; otherwise exception is set to list_expected, and the Prolog integer 0 is returned.
- TERM get_cdr(TERM t):
Returns the cdr of the list t. bp_is_list(t) must be true; otherwise exception is set to list_expected, and the Prolog integer 0 is returned.
- void bp_write(TERM t):
Sends term t to the current output stream.
Neng-Fa Zhou
2013-01-25
