この資料をSMS送信: Stratified negation in datalog with metric temporal operators