nt_trail">fprint_trail</A></TD><TD><A HREF="#occur_check">occur_check</A></TD><TD><A HREF="#undo_subst_2">undo_subst_2</A></TD>
</TR>
<TR><TD><A HREF="#apply_substitute">apply_substitute</A></TD><TD><A HREF="#fprint_unify_mem">fprint_unify_mem</A></TD><TD><A HREF="#p_context">p_context</A></TD><TD><A HREF="#unify">unify</A></TD>
</TR>
<TR><TD><A HREF="#apply_substitute2">apply_substitute2</A></TD><TD><A HREF="#free_context">free_context</A></TD><TD><A HREF="#p_trail">p_trail</A></TD><TD><A HREF="#variable_s