Zaslat SMS: Temporal datalog with existential quantification