इसका टेक्स्ट मैसेज भेजे: Stratified negation in datalog with metric temporal operators