发送短信: Temporal datalog with existential quantification