Пример #1
0
 public boolean apply(Unifier unifier) {
   // XXX Hack to fix the problem of an empty unifier's application returning empty
   if (unifier.isEmpty()) {
     return true;
   }
   // Since this implementation relies on a Jason binding, we have to force our unifier
   // to be Jason's
   if (unifier instanceof jason.asSemantics.Unifier) {
     return this.apply((jason.asSemantics.Unifier) unifier);
   } else {
     return false;
   }
 }
Пример #2
0
 public boolean unifies(Proposition proposition) {
   Unifier un = new UnifierImpl();
   return un.unifies(this, proposition);
 }