Los puntos clave no están disponibles para este artículo en este momento.
Recent research into digital computer programs for discovering proofs to theorems in symbolic logic and playing chess has shown the desirability of languages better adapted to the requirements of such non-numeric programming tasks than are present day machine languages. A command structure which allows more indirectness in programming and requires less knowledge of the location and form of the data is described. (Author)
Shaw et al. (Wed,) studied this question.