org.projog.core.predicate.builtin.classify

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

Method Summary

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

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

IsAtom

public IsAtom()

Method Detail

evaluate

protected boolean evaluate(Term arg)

Overrides:

evaluate in class AbstractSingleResultPredicate