on) instead of backtrack unification.
<A NAME="unify_bt_next"></A><HR><PRE><B><A HREF="btu.html">Btu_state</A> unify_bt_next(<A HREF="btu.html">Btu_state</A> bt1);
</B></PRE>This routine gets the next unifier for "backtrack unification".
See <A HREF="#unify_bt_first">unify_bt_first</A>() for an explanation.
<HR><A NAME=defns></A><H2>Public Definitions in File btu.h</H2>
<PRE>
typedef struct btu_state * <A HREF="btu.html">Btu_state</A>;

</PRE><HR><A NAME=intro></A><H2>Introduction</H2>
This package handles 