Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal   Datalog
  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. 
Andreas Blass (University of Michigan) and Yuri Gurevich (Microsoft   Research)