Guest User

Untitled

a guest
Jun 22nd, 2018
83
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.29 KB | None | 0 0
  1. capability(log_in).
  2. capability(log_out).
  3. capability(view).
  4.  
  5. role(user_role).
  6. role(anonymous).
  7.  
  8. allow(user_role, log_in).
  9. allow(user_role, log_out).
  10. allow(user_role, view).
  11. allow(anonymous, view).
  12.  
  13. can(Role, Capability) :- role(Role), capability(Capability), allow(Role, Capability).
Add Comment
Please, Sign In to add comment