Ejemplo n.º 1
0
 /** Helper method for groundedUnify. */
 private boolean groundedUnify(APLVar t, SubstList<Term> theta) {
   Term subst = theta.get(t.getName());
   if (subst != null) return groundedUnify(subst, theta);
   else {
     theta.put(t.getName(), this);
     return true;
   }
 }
Ejemplo n.º 2
0
 /**
  * Test whether this number is equal to another number.
  *
  * @param other the number to compare with
  * @return true if equal, false otherwise
  */
 public boolean equals(Term other) {
   if (other instanceof APLNum) {
     APLNum term = (APLNum) other;
     return val.equals(term.getVal());
   } else if (other instanceof APLVar) {
     APLVar term = (APLVar) other;
     if (!term.isBounded()) return false;
     else return equals(term.getSubst());
   } else return false;
 }