双重递归Pro1og程序的运行机制

• 作者: 刘育刚
• 来源期刊: 哈尔滨工程大学学报
• 关键词: 程序设计 逻辑程序 谓词逻辑
• 年，卷（期）: 1998,（1）
• 所属期刊栏目: 研究简报
• 页码范围: 99-101
• 页数: 3页
• 字数: 1040字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-7043.1998.01.016

摘要

使用Pro图作为工具对一个双重递归的Prolog程序进行图解,给出了该程序的Pro图,该图激活时各谓词和参量的变化情况,用逐步推导的详细演算式描述了其复杂的运行机制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘育刚	哈尔滨工程大学计算机与信息科学系	1	3	1.0	1.0