NAME="unify(CiaoJava.PLTerm)"><!-- --></A><H3>
unify</H3>
<PRE>
public boolean <B>unify</B>(<A HREF="../CiaoJava/PLTerm.html" title="class in CiaoJava">PLTerm</A>&nbsp;term)</PRE>
<DL>
<DD>Term unification. Unifies this Prolog structure with the term
 received as argument. This method overrides the one 
 inherited from PLTerm.
 
 <p><bold>Important:</bold> The unification is 'two sided':
 the variables found in the term received as argument could
 be bound in order to unify the complete terms. In the same
 