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
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method 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