| Class | Description |
|---|---|
| Clause | |
| Clausifier | |
| CNF |
Conjunctive Normal Form
|
| EntityTypeParser | |
| Interpreter | |
| Lexer | |
| LHS |
LHS ::= ClausePattern Match & delete atomic clause
+ClausePattern Match & preserve atomic clause
LHS, LHS Boolean conjunction
(LHS | LHS) Boolean disjunction
—LHS Boolean negation
{ProcedureCall} Procedural attachment
|
| Literal |
pred(arg1,arg2).
|
| Procedures | |
| RewriteRuleUtil | |
| RHS | |
| Rule |
Rule ::= LHS ==> RHS.
|
| RuleSet | |
| SemRewriteRuleCheck |
| Enum | Description |
|---|---|
| EntityType | |
| LHS.LHSop | |
| Rule.RuleOp |