أرسل هذا في رسالة قصيرة: Stratified negation in datalog with metric temporal operators