Văn bản này: Temporal datalog with existential quantification