| The Distributed Logical Reasoning Language D_Tuili and Its Implementation on Microcomputer Network |
| |
| 作者姓名： | Gao Quanquan Lu Ruqian Cao Hua Zhang Songmao |
| |
| 作者单位： | InstituteofMathematics,AcademiaSinica,Beijin100080 |
| |
| 基金项目： | This work was supported by National Natural Foundation of China. |
| |
| 摘 要： | 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.
|
| 关 键 词： | 计算机网络 分布逻辑推理语言 并行程序设计 |
The distributed logical reasoning language D_Tuili and its implementation on microcomputer network |
| |
| Gao Quanquan,Lu Ruqian,Cao Hua,Zhang Songmao.The Distributed Logical Reasoning Language D_Tuili and Its Implementation on Microcomputer Network[J].Journal of Computer Science and Technology,1992,7(2):123-135. |
| |
| Authors: | Quanquan Gao Ruqian Lu Hua Cao Songmao Zhang |
| |
| Affiliation: | Institute of Mathematics Academia Sinica; Beijing; Institute of Mathematics; Academia Sinica; |
| |
| Abstract: | D_Tuili, having been implemented on microcomputer 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
