datalog untested