Next: Operating System Services, Previous: Testing Prolog Terms, Up: Support Functions
The two functions are:
SP_unify()
SP_compare()