return emptyIterator;
}
public boolean unifies(Proposition proposition) {
Unifier un = new UnifierImpl();
return un.unifies(this, proposition);
}
public boolean apply(Unifier unifier) {
//Since this implementation relies on a Jason binding, we have to force our unifier
//to be Jason's