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.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	AtomConcat.Retryable

Constructor Summary

Constructors

Constructor	Description
AtomConcat()

Method Summary

Modifier and Type	Method	Description
private void	assertAtomOrVariable(Term t)
private boolean	evaluate(Term arg1, Term arg2, Term arg3)
protected Predicate	getPredicate(Term prefix, Term suffix, Term combined)
private boolean	isAtom(Term t)

Methods inherited from class AbstractPredicateFactory

getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface PredicateFactory

isAlwaysCutOnBacktrack

Constructor Details

AtomConcat

public AtomConcat()

Method Details

getPredicate

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

Overrides:

getPredicate in class AbstractPredicateFactory

evaluate

private boolean evaluate(Term arg1,
 Term arg2,
 Term arg3)

assertAtomOrVariable

private void assertAtomOrVariable(Term t)

isAtom

private boolean isAtom(Term t)