Logic Program for Authorizations