Handle disjunctive queries

[Aspen Smith]

There's a Magic Sets implementation for disjunctive datalog (DLV): https://www.sciencedirect.com/science/article/pii/S0004370212000562.

Haven't done much research, but there's likely also support for DLN (Datalog with Negation) somewhere