Prolog: [-term] C: QP_term_ref f(...); { QP_term_ref ref = QP_new_term_ref(); return ref; }
No argument is passed to the foreign function. The return value from
the function is assumed to be a reference to a Prolog term of type
QP_term_ref
. The term that the
QP_term_ref
refers to is unified with the corresponding argument
of the Prolog call. The argument can be of any type; if it
cannot be unified with the referred term, the call will fail.