  A natural liberalization of Datalog is used in the Distributed Knowledge
Authorization Language (DKAL). We show that the expressive power of this
liberal Datalog is that of existential fixed-point logic. The exposition is
self-contained.
