org.projog.core.predicate.builtin.construct

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 and 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 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

Method Detail

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)