|
Class Summary |
| Builtin |
A compiled rule element representing a built-in predicate. |
| BuiltinForConstructedTermArguments |
A compiled rule element representing a built-in predicate with constructed terms arguments. |
| CompiledRule |
A compiled rule. |
| Differ |
A compiled rule element representing a negated ordinary literal. |
| EquivalenceResolver |
This rule element creates all possible combinations of an input relation
using the equivalent terms, and adds these combinations to the output
relation. |
| FirstSubgoal |
A compiled rule element representing the first literal in a rule body,
when that literal is a positive ordinary predicate. |
| HeadSubstituter |
A compiled rule element representing the substitution of variable bindings in to the rule head. |
| RuleCompiler |
A rule compiler for creating objects that compute new facts using
forward-chaining techniques. |
| RuleElement |
A base class for all compiled rule elements. |
| RuleHeadEqualitySubstituter |
A compiled rule element representing the substitution of variable bindings in
to the rule head for rules with rule head equality. |
| Utils |
Utilities for classes in this package. |
| View |
A view on a relation, which represents how an instance of a sub-goal
interprets a relation. |