ODE></FONT></TD>
<TD><CODE><B><A HREF="../CiaoJava/PLStructure.html#unify(CiaoJava.PLTerm)">unify</A></B>(<A HREF="../CiaoJava/PLTerm.html" title="class in CiaoJava">PLTerm</A>&nbsp;term)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Term unification.</TD>
</TR>
</TABLE>
&nbsp;<A NAME="methods_inherited_from_class_CiaoJava.PLTerm"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="l