A GNU Prolog implementation of a security policy.