/** 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; } }