/A>().
<A NAME="apply_substitute"></A><HR><PRE><B><A HREF="term.html">Term</A> apply_substitute(<A HREF="term.html">Term</A> t, <A HREF="term.html">Term</A> beta, <A HREF="unify.html">Context</A> c_from,
		      <A HREF="term.html">Term</A> into_term, <A HREF="unify.html">Context</A> c_into);
</B></PRE>This routine is like <A HREF="#apply">apply</A>(), but when it reaches a particular subterm
(into_term) of the source term (t), it continues with another source
term (beta).
This routine is intended to be use