public final boolean unify(final JIPTerm term,final Hashtable varsTbl){
  Hashtable varTable1=new Hashtable(10);
  if (m_obj.unify(term.m_obj,varTable1)) {
    Variable var;
    Enumeration en=varTable1.elements();
    while (en.hasMoreElements()) {
      var=((Variable)en.nextElement());
      varsTbl.put(var,new JIPVariable(var));
    }
    return true;
  }
 else {
    return false;
  }
}

public final boolean unify ( final JIPTerm term , final Hashtable varsTbl ) { Hashtable varTable1 = new Hashtable ( 10 ) ; if ( m_obj . unify ( term . m_obj , varTable1 ) ) { Variable var ; Enumeration en = varTable1 . elements ( ) ; while ( en . hasMoreElements ( ) ) { var = ( ( Variable ) en . nextElement ( ) ) ; varsTbl . put ( var , new JIPVariable ( var ) ) ; } return true ; } else { return false ; } }
unifies this jipterm object with the specified term . if this jipterm object unifies with the specified term this method unifies the terms and vartable will contains the variables that has been bound .
