Package org.projog.core.predicate.builtin.list

Class AtomicListConcat

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.list.AtomicListConcat

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class AtomicListConcat
extends AbstractSingleResultPredicate

atomic_list_concat(List,Separator,Atom) / atomic_list_concat(List,Atom)

Concatenates the elements of List and attempts to unify with Atom. If using the 3 argument version then Separator will be inserted between each element of List.

Constructor Summary

Constructors

Constructor	Description
AtomicListConcat()

Method Summary

Modifier and Type	Method	Description
private Atom	concat(Term atomList, java.lang.String separator)
protected boolean	evaluate(Term atomList, Term concatenatedResultAtom)
protected boolean	evaluate(Term atomList, Term separatorAtom, Term concatenatedResultAtom)
private Term	split(Term concatenatedResultAtom, java.lang.String separator)

Methods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate

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

AtomicListConcat

public AtomicListConcat()

Method Detail

evaluate

protected boolean evaluate(Term atomList,
                           Term concatenatedResultAtom)

Overrides:

evaluate in class AbstractSingleResultPredicate

evaluate

protected boolean evaluate(Term atomList,
                           Term separatorAtom,
                           Term concatenatedResultAtom)

Overrides:

evaluate in class AbstractSingleResultPredicate

split

private Term split(Term concatenatedResultAtom,
                   java.lang.String separator)

concat

private Atom concat(Term atomList,
                    java.lang.String separator)