update datalog example