datalog 0.4 released
zipperposition 0.2 depends on datalog < 4 (api change)