></A><HR><PRE><B>void fprint_context(FILE *fp, <A HREF="unify.html">Context</A> c);
</B></PRE>This routine prints (to FILE *fp) a <A HREF="unify.html">Context</A>.
<A NAME="fprint_trail"></A><HR><PRE><B>void fprint_trail(FILE *fp, <A HREF="unify.html">Trail</A> t);
</B></PRE>This routine prints (to FILE *fp) a <A HREF="unify.html">Trail</A>.  The whole list is printed.
<A NAME="fprint_unify_mem"></A><HR><PRE><B>void fprint_unify_mem(FILE *fp, BOOL heading);
</B></PRE>This routine prints (to FILE *fp) memory