Class Op

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.io.Op

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Op
extends AbstractSingleResultPredicate

op(X,Y,Z)

Allows functors (names of predicates) to be defined as "operators". The use of operators allows syntax to be easier to write and read. Z is the atom that we want to be an operator, X is the precedence class (an integer), and Y the associativity specifier. e.g. op(1200,xfx,':-')

Constructor Summary

Constructors

Constructor	Description
Op()

Method Summary

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

Methods inherited from class AbstractSingleResultPredicate

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

Methods inherited from class Object

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

Methods inherited from interface PredicateFactory

isAlwaysCutOnBacktrack, preprocess

Constructor Details

Op

public Op()

Method Details

evaluate

protected boolean evaluate(Term arg1,
 Term arg2,
 Term arg3)

Overrides:

evaluate in class AbstractSingleResultPredicate