Support disjunction
chenyan2002 opened this issue · 1 comments
chenyan2002 commented
The rules are currently connected with conjunction. Is it possible to support disjunction of clauses? I can use and and not to represent or, but that's not very convenient.
chenyan2002 commented
Never mind. RuleA <- B | C can be written as
RuleA <- B;
RuleA <- C;