Diagnosis of asynchronous discrete event systems: datalog to the rescue!