ent heading tells whether to print a heading on the table.
<A NAME="p_bt_tree"></A><HR><PRE><B>void p_bt_tree(<A HREF="btu.html">Btu_state</A> bt, int n);
</B></PRE>This (recursive) routine prints (to stdout) a backtrack unification state.
Parameter n should be 0 on the top call.
<A NAME="p_btu_mem"></A><HR><PRE><B>void p_btu_mem();
</B></PRE>This routine prints (to stdout) memory usage statistics for data types
associated with the btu package.
<A NAME="unify_bt_cancel"></A><HR><PRE><B>void unify_bt_cancel(