%0 Journal Article
%T INDEPENDENCE OF THE COMPUTATION RULE FOR SLD-GAME TREE<br>SLD-博弈树中计算规则的独立性
%A ZHOU Shengbing
%A <br>周生炳
%J 软件学报
%D 1997
%I 
%X 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.
%K Annotated logic program
%K SLD-game tree
%K independence of computation rule<br>标记逻辑程序
%K SLD-博弈树
%K 计算规则的独立性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=57A0F64E61A0E21CA3A490FA403ABFAD&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=F3090AE9B60B7ED1&sid=B3645A659773B73C&eid=FE6645F2371CA43C&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=4