tml">Context</A> c), including the top case, where t
is the variable in question.
<A NAME="p_context"></A><HR><PRE><B>void p_context(<A HREF="unify.html">Context</A> c);
</B></PRE>This routine prints (to stdout) a <A HREF="unify.html">Context</A>.
<A NAME="p_trail"></A><HR><PRE><B>void p_trail(<A HREF="unify.html">Trail</A> t);
</B></PRE>This routine prints (to stdout) a <A HREF="unify.html">Trail</A>.  The whole list is printed.
<A NAME="p_unify_mem"></A><HR><PRE><B>void p_unify_mem();
</B></PRE>This routi