org.projog.core.predicate.builtin.compare

Class NotUnifiable

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.compare.NotUnifiable

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class NotUnifiable
extends AbstractSingleResultPredicate

X \= Y - checks whether two terms cannot be unified.

If X can be NOT unified with Y the goal succeeds else the goal fails.

Constructor Summary

Constructors

Constructor and Description
NotUnifiable()

Method Summary

Modifier and Type	Method and Description
protected boolean	evaluate(Term arg1, Term arg2)

Methods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.projog.core.predicate.PredicateFactory

isAlwaysCutOnBacktrack

Constructor Detail

NotUnifiable

public NotUnifiable()

Method Detail

evaluate

protected boolean evaluate(Term arg1,
                           Term arg2)

Overrides:

evaluate in class AbstractSingleResultPredicate