इसका टेक्स्ट मैसेज भेजे: Temporal datalog with existential quantification