datalog 0.3
Merge pull request #438 from c-cube/master

datalog 0.3