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

Method Summary

Modifier and Type	Method and Description
protected boolean	evaluate(Term atomList, Term concatenatedResultAtom)
protected boolean	evaluate(Term atomList, Term separatorAtom, Term concatenatedResultAtom)

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