">Term</A> t1, <A HREF="unify.html">Context</A> c1, <A HREF="term.html">Term</A> t2, <A HREF="unify.html">Trail</A> *trp, int var_sn);
</B></PRE>Special-purpose match for weighting.
<A NAME="occur_check"></A><HR><PRE><B>BOOL occur_check(int vn, <A HREF="unify.html">Context</A> vc, <A HREF="term.html">Term</A> t, <A HREF="unify.html">Context</A> c);
</B></PRE>This function checks if a variable with index vn (in <A HREF="unify.html">Context</A> vc)
occurs in <A HREF="term.html">Term</A> t (in <A HREF="unify.h