[simplify]

Ozo[1] is another authorization language, but based on Prolog. It'd be interesting to compare the capabilities between the two.

[1] https://www.osohq.com