Algunas de las características que debe tener un lenguaje de programación para que sea universal según Pratt son: