Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog