[summarity]

Also Rego, which is Datalog with structured extensions, in use everywhere where OPA is used (as in many k8s environments)

[blagund]

Note: Rego targets near linear execution speed, so it can't do recursion generally, except limited tree-like cases for sat y acl checks..

That's as intended, just saying don't expect it has full datalog power.

It deals with Json data nicely though (which my favorite souffle does not).