Envoyer par SMS: Datalog in academia and industry