INDEPENDENCE OF THE COMPUTATION RULE FOR SLD-GAME TREE
SLD-博弈树中计算规则的独立性

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.