この資料をSMS送信: MeTeoR: practical reasoning in datalog with metric temporal operators