Class IsAtom

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.classify.IsAtom

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class IsAtom
extends AbstractSingleResultPredicate

atom(X) - checks that a term is an atom.

atom(X) succeeds if X currently stands for an atom.

Constructor Summary

Constructors

Constructor	Description
IsAtom()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term arg)

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

IsAtom

public IsAtom()

Method Details

evaluate

protected boolean evaluate(Term arg)

Overrides:

evaluate in class AbstractSingleResultPredicate