Seol mar théacs é seo: Temporal datalog with existential quantification