On the Boolean Network Theory of Datalog$^\neg$