摘要
文章用一种通俗的、与逻辑程序设计中惯用的不同术语给出一组通俗的、在思想和概念上也截然不同于传统的逻辑程序设计研究的，有关逻辑程序开发的规则和方法。
With a concept and terminology dramatically apart from, but more popular than that in conventional logic programming,this paper firstly discusses several issues concerning the construction and correctness of logic programs, then presents some pragmatical efficient method and error prevention/diagnosis rules for logic program development.
出处
《计算机工程与应用》
CSCD
北大核心
1999年第9期71-74,共4页
Computer Engineering and Applications
关键词
逻辑程序设计
方法学
错误诊断
调试
logic programming, methodology, error diagnosis, debugging
