org.projog.core.predicate.builtin.construct

Class Univ

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.construct.Univ

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Univ
extends AbstractSingleResultPredicate

X=..L - "univ".

The X=..L predicate (pronounced "univ") provides a way to obtain the arguments of a structure as a list or construct a structure or atom from a list of arguments.

Constructor Summary

Constructors

Constructor and Description
Univ()

Method Summary

Modifier and Type	Method and Description
boolean	evaluate(Term arg1, Term arg2)

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

evaluate, 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

Univ

public Univ()

Method Detail

evaluate

public boolean evaluate(Term arg1,
                        Term arg2)

Overrides:

evaluate in class AbstractSingleResultPredicate