Grace Murray Hopper Award
United States – 1985
CITATION

For establishing several key aspects of the theoretical basis for logic programming and providing a resolution theorem prover to carry out a programming task by constructing the result which the computer program is to compute. For proving the constructive technique correct and for presenting an effective method for constructing the answer; these contributions providing an early theoretical basis for Prolog and logic programming.