Class TermSplit

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.construct.TermSplit

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class TermSplit
extends AbstractSingleResultPredicate

atom_chars / atom_codes / number_chars / number_codes

• atom_chars(A,L) compares the atom A to the list of characters L.
• atom_codes(A,L) compares the atom A to the list of character codes L.
• number_chars(N,L) compares the number N to the list of characters L.
• number_codes(N,L) compares the number N to the list of character codes L.

Method Summary

Modifier and Type	Method	Description
static TermSplit	atomChars()
static TermSplit	atomCodes()
protected Term	charToTerm(char c)
protected boolean	evaluate(Term arg1, Term arg2)
static TermSplit	numberChars()
static TermSplit	numberCodes()

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

Method Details

atomChars

public static TermSplit atomChars()

atomCodes

public static TermSplit atomCodes()

numberChars

public static TermSplit numberChars()

numberCodes

public static TermSplit numberCodes()

evaluate

protected boolean evaluate(Term arg1,
 Term arg2)

Overrides:

evaluate in class AbstractSingleResultPredicate

charToTerm

protected Term charToTerm(char c)