org.projog.core.predicate.builtin.kb

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 and Description
static Assert	assertA()
static Assert	assertZ()
protected boolean	evaluate(Term clause)

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

Method Detail

assertA

public static Assert assertA()

assertZ

public static Assert assertZ()

evaluate

protected boolean evaluate(Term clause)

Overrides:

evaluate in class AbstractSingleResultPredicate