datalog3 : datalog3