org.projog.core.predicate.builtin.kb

Class Dynamic

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.kb.Dynamic

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Dynamic
extends AbstractSingleResultPredicate

dynamic/1 - indicates that a user defined predicate is dynamic.

If a user defined predicate is dynamic then it can be updated after it is first defined. It can subsequently have clauses removed using retract/1 and retractall/1 or new clauses added using asserta(X), assertz(X) and consult/1.

Constructor Summary

Constructors

Constructor and Description
Dynamic()

Method Summary

Modifier and Type	Method and Description
protected boolean	evaluate(Term arg)

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

Dynamic

public Dynamic()

Method Detail

evaluate

protected boolean evaluate(Term arg)

Overrides:

evaluate in class AbstractSingleResultPredicate