Pošalji tekstualnu poruku: Temporal datalog with existential quantification