Computer languages for heuristic processes
The applicability of computers to many problem-solving situations—chess playing, mathematical proofs, music composition, etc.—has been demonstrated. We wish to explore further heuristic processes suggested by human problem-solving activity. One step toward this goal has been the design of a system named ROVER. ROVER refers both to the simulated computer and the information processing language it uses.