أرسل هذا في رسالة قصيرة: Temporal datalog with existential quantification