ekzhang / crepe

Datalog compiler embedded in Rust as a procedural macro
Apache License 2.0
460 stars 16 forks source link

Support disjunction #23

Closed chenyan2002 closed 2 years ago

chenyan2002 commented 2 years ago

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 2 years ago

Never mind. RuleA <- B | C can be written as

RuleA <- B;
RuleA <- C;