Αποστολή με SMS: Datalog with First-Class Facts