ubstitution">variable_substitution</A></TD>
</TR>
<TR><TD><A HREF="#context_to_pairs">context_to_pairs</A></TD><TD><A HREF="#get_context">get_context</A></TD><TD><A HREF="#p_unify_mem">p_unify_mem</A></TD><TD><A HREF="#variant">variant</A></TD>
</TR>
<TR><TD><A HREF="#empty_substitution">empty_substitution</A></TD><TD><A HREF="#match">match</A></TD><TD><A HREF="#subst_changes_term">subst_changes_term</A></TD><TD><A HREF="#vars_in_trail">vars_in_trail</A></TD>
</TR>
<TR><TD><A HREF="#fprint_context">fprint_c