Class Append
- java.lang.Object
-
- org.projog.core.predicate.AbstractPredicateFactory
-
- org.projog.core.predicate.builtin.list.Append
-
- All Implemented Interfaces:
KnowledgeBaseConsumer,PredicateFactory
public final class Append extends AbstractPredicateFactory
append(X,Y,Z)- concatenates two lists.The
append(X,Y,Z)goal succeeds if the concatenation of listsXandYmatches the listZ.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private static classAppend.AppendPredicate
-
Constructor Summary
Constructors Constructor Description Append()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected PredicategetPredicate(Term prefix, Term suffix, Term concatenated)-
Methods inherited from class org.projog.core.predicate.AbstractPredicateFactory
getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, 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
-
getPredicate
protected Predicate getPredicate(Term prefix, Term suffix, Term concatenated)
- Overrides:
getPredicatein classAbstractPredicateFactory
-
-