Enviar por SMS: Functional grammar in Prolog