way, the variables found in this structure could be bound to
 unify both terms.</p>
<P>
<DD><DL>
<DT><B>Overrides:</B><DD><CODE><A HREF="../CiaoJava/PLTerm.html#unify(CiaoJava.PLTerm)">unify</A></CODE> in class <CODE><A HREF="../CiaoJava/PLTerm.html" title="class in CiaoJava">PLTerm</A></CODE></DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>term</CODE> - Term to unify with.
<DT><B>Returns:</B><DD>true if the unification is successful: false otherwise.</DL>
</DD>
</DL>
<!-- ========= END OF CLASS DATA ==