- 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.
Neng-Fa Zhou
2012-01-03
