שליחה במסרון: Temporal datalog with existential quantification