A GNU Prolog implementation of a security strategy.