| Package | Description |
|---|---|
| com.articulate.sigma.semRewrite |
| Class and Description |
|---|
| Clause |
| CNF
Conjunctive Normal Form
|
| EntityType |
| EntityTypeParser |
| 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
|
| LHS.LHSop |
| Literal
pred(arg1,arg2).
|
| RHS |
| Rule
Rule ::= LHS ==> RHS.
|
| Rule.RuleOp |
| RuleSet |