Enviar por SMS: Datalog with First-Class Facts