public final class Arg extends AbstractSingleResultPredicate
arg(N,T,A)
- allows access to an argument of a structure.
arg(N,T,A)
provides a mechanism for accessing a specific argument of a structure.
arg(N,T,A)
succeeds if the N
th argument of the structure T
is, or can be
assigned to, A
.
Constructor and Description |
---|
Arg() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
evaluate(Term arg1,
Term arg2,
Term arg3) |
evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAlwaysCutOnBacktrack
protected boolean evaluate(Term arg1, Term arg2, Term arg3)
evaluate
in class AbstractSingleResultPredicate
Copyright © 2024. All rights reserved.