PρLog for Access Control
In this article we show how access control policies can be expressed in PρLog,
which is a system for programming with conditional transformation rules, controlled
by strategies. PρLog combines the power of logic programming with
rewriting, which makes it convenient to reason about the policies.