Esempio 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;
   }
 }