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 boolean addLast

Constructor Summary

Constructors
Modifier Constructor Description

private Assert(boolean addLast)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
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 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

Field Detail
- addLast
```
private final boolean addLast
```

Constructor Detail
- Assert
```
private Assert(boolean addLast)
```

Method Detail

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)