A Prolog implementation of BAN logic.