datalog one works
Comments for datalog example