| Class | Description |
|---|---|
| ForwardChainer |
This algorithm answers the question for which groundings G of the variables
in $premise, G[$premise] follows from $factbase.
|
| ForwardChainerRecursionEvent | |
| ForwardChainingFailedCWABindingEvent |
This is used if a binding is found that is ok for positive literals, but negative literals of the conclusions are in the factbase.
|
| ForwardChainingProblem | |
| LiteralStringParser | |
| LogicUtil |
Utility class for the logic package.
|
| NextBindingFoundEvent | |
| TypeUtil |