datalog 0.4 released
zipperposition 0.2 depends on datalog < 4 (api change)
Merge pull request #723 from c-cube/master

datalog 0.4 released