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.

Field Summary

Fields

Modifier and Type	Field	Description
private final boolean	addLast

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Assert(boolean addLast)

Method Summary

Modifier and Type	Method	Description
private void	add(UserDefinedPredicateFactory userDefinedPredicate, ClauseModel clauseModel)
static Assert	assertA()
static Assert	assertZ()
protected boolean	evaluate(Term clause)

Methods inherited from class AbstractSingleResultPredicate

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

Field Details

addLast

private final boolean addLast

Constructor Details

Assert

private Assert(boolean addLast)

Method Details

assertA

public static Assert assertA()

assertZ

public static Assert assertZ()

evaluate

protected boolean evaluate(Term clause)

Overrides:

evaluate in class AbstractSingleResultPredicate

add

private void add(UserDefinedPredicateFactory userDefinedPredicate,
 ClauseModel clauseModel)