org.projog.core.predicate.builtin.construct

Class AtomConcat

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.construct.AtomConcat

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class AtomConcat
extends AbstractPredicateFactory

atom_concat(X, Y, Z) - concatenates atom names.

atom_concat(X, Y, Z) succeeds if the name of atom Z matches the concatenation of the names of atoms X and Y.

Constructor Summary

Constructors

Constructor and Description
AtomConcat()

Method Summary

Modifier and Type	Method and Description
protected Predicate	getPredicate(Term prefix, Term suffix, Term combined)

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

Constructor Detail

AtomConcat

public AtomConcat()

Method Detail

getPredicate

protected Predicate getPredicate(Term prefix,
                                 Term suffix,
                                 Term combined)

Overrides:

getPredicate in class AbstractPredicateFactory