datalog 0.3