Class Assert

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.kb.Assert

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Assert
extends AbstractSingleResultPredicate

asserta(X) / assertz(X) - adds a clause to the knowledge base.

asserta(X) adds the clause X to the front of the knowledge base. assertz(X) adds the clause X to the end of the knowledge base. X must be suitably instantiated that the predicate of the clause can be determined.

This is not undone as part of backtracking.

Method Summary

Modifier and Type	Method	Description
static Assert	assertA()
static Assert	assertZ()
protected boolean	evaluate(Term clause)

Methods inherited from class AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, 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, preprocess

Method Details

assertA

public static Assert assertA()

assertZ

public static Assert assertZ()

evaluate

protected boolean evaluate(Term clause)

Overrides:

evaluate in class AbstractSingleResultPredicate