[refset]

> Datalog implementations can use different (or multiple, switchable) strategies

Including distributed strategies, as seen in Bloom http://boom.cs.berkeley.edu/