%0 Journal Article %T The Distributed Logical Reasoning Language D_Tuili and Its Implementation on Microcomputer Network %A Gao Quanquan %A Lu Ruqian %A Cao Hua %A Zhang Songmao %J 计算机科学技术学报 %D 1992 %I %X D-Tuili,having been implemented on microcompute network,is a distributed logical reasoning programming language.D-Tuili supports parallel programming on the language level,and couples loosely with the distributed database management system,so data in distributed databases can be used in the distributed logic programs.In this paper,we mainly introduce the components of D-Tuili used to design distributed logic programs.Furthermore,the main principles to implement D-Tuili and the main technologies adopted in the implemented system of D-Tuili are described. %K 计算机网络 %K 分布逻辑推理语言 %K 并行程序设计 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=B68AE62DB7B81D3D780E8FAD8614FE7A&yid=F53A2717BDB04D52&vid=DF92D298D3FF1E6E&iid=0B39A22176CE99FB&sid=AE09EACBCD1B2A13&eid=5E25104E99903E8A&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=9