ontext</A></TD><TD><A HREF="#match_weight">match_weight</A></TD><TD><A HREF="#undo_subst">undo_subst</A></TD><TD></TD>
</TR>
</TABLE>
<H4>Details</H4>
<A NAME="apply"></A><HR><PRE><B><A HREF="term.html">Term</A> apply(<A HREF="term.html">Term</A> t, <A HREF="unify.html">Context</A> c);
</B></PRE>This routine applies the substitution in <A HREF="unify.html">Context</A> c to <A HREF="term.html">Term</A> t.
See the explanation of <A HREF="#unify">unify</A>() for an example of the use of <A HREF="#apply">apply<