Enviar por SMS: Knowledge-based program construction