DESIGN OF MACHINE FOR LOGIC PROGRAMMING LANGUAGE GODEL(BULLETIN)

摘要：

Godel is a general-purpose logic programming language succeeded to Prolog. And its compiler has not been developed yet. As a tool, the implementation of the compiler for programming language Godel will have great significance to study in-depth and widespread use of programming language Godel, which is also important to the research on artificial intelligence and the development of intelligent software. In this paper, an implementation of the compiler for Godel is introduced. The sources of the language are

关键词： Logic Programming Warren Machine Pruning Operator Delay Computation

作者: CAO BING-YI ZHAO ZHI-ZHUO

作者单位: Department of Computer Science Xiamen University Xiamen, China

会议类型: 国际会议

会议名称: 3rd International Conference on Mechanical and Electrical Technology(ICMET2011) (2011第三届机械与电气技术国际会议)

会议地点: 大连

会议语种:英文

页码: 569-572

在线出版日期: 2011-08-26（万方平台首次上网日期，不代表论文的发表时间）