datalog-0.3.1 released