Prolog implementation of the Firewall Rule Language. Decides whether a given packet gets accepted, rejected or dropped.