> If authorizations can be described as a policy graph, what about logic programming languages such as Prolog or Datalog? Or why not SQL? Which will be more o

> If authorizations can be described as a policy graph, what about logic programming languages such as Prolog or Datalog? Or why not SQL? Which will be more optimized -or is easier to optimize- for the logic in question?