Class Functor

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.construct.Functor

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Functor
extends AbstractSingleResultPredicate

functor(T,F,N)

Predicate functor(T,F,N) means "T is a structure with name (functor) F and N number of arguments".

Constructor Summary

Constructors

Constructor	Description
Functor()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term term, Term functor, Term arity)

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

Functor

public Functor()

Method Details

evaluate

protected boolean evaluate(Term term,
 Term functor,
 Term arity)

Overrides:

evaluate in class AbstractSingleResultPredicate