示例#1
0
 public boolean unifies(Proposition proposition) {
   Unifier un = new UnifierImpl();
   return un.unifies(this, proposition);
 }