<A HREF="btu.html">Btu_state</A> bt);
</B></PRE>This routine frees the memory associated with a state in
backtrack unification.  This should be called if you decide
to get some, but not all, unifiers from <A HREF="#unify_bt_first">unify_bt_first</A>() and
<A HREF="#unify_bt_next">unify_bt_next</A>().
<A NAME="unify_bt_first"></A><HR><PRE><B><A HREF="btu.html">Btu_state</A> unify_bt_first(<A HREF="term.html">Term</A> t1, <A HREF="unify.html">Context</A> c1,
			<A HREF="term.html">Term</A> t2, <A HREF="unify.