Comparative Analysis Of Logic-Based Policy Frameworks