Үүнийг мессежээр илгээх: Temporal datalog with existential quantification