Stav dette: Temporal datalog with existential quantification