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 providing 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.