org.projog.core.predicate.builtin.io

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 and Description
Op()

Method Summary

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

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

Op

public Op()

Method Detail

evaluate

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

Overrides:

evaluate in class AbstractSingleResultPredicate