INDEPENDENCE OF THE COMPUTATION RULE FOR SLD-GAME TREE
Zhou Shengbing · 1997
The concept of the successful set of SLD-game tree is introduced in this paper. The author shows that the SLD-game tree established the identical successful set using any computation rule. This fact is called the independence of the computation rule for SLD-game tree.