Next: Building Prolog terms
Up: Calling C from Prolog
Previous: Converting Prolog terms into
  Contents
  Index
- int unify(TERM t1,TERM t2)
Unifies two Prolog terms and returns 1 on success and 0 on failure.
- TERM get_ARG(int i,TERM t)
Returns the ith argument of term t. is_COMPOUND(t)
must be true and i must be an integer.
- TERM get_CAR(TERM t) Returns the car of t. is_LIST(t) must be true.
- TERM get_CDR(TERM t) Returns the cdr of t. is_LIST(t) must be true.
Neng-Fa Zhou
1999-11-24