Key points are not available for this paper at this time.
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.