逻辑程序的标识更新

• 作者: 季卫华 梁意文 董红斌
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Extended logic program 自动更新 标识更新
• 年，卷（期）: 2005,（7）
• 所属期刊栏目: 基金项目论文
• 页码范围: 53-55
• 页数: 3页
• 分类号: TP311
• 字数: 3687字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.07.020

摘要

逻辑程序的优势在于它的自动更新,文章明确提出了丰富更新和替换更新的两种方法,通过重新标识的方法实现Extended logicprogram的自动更新,并生成更新程序,最后提出更新以后程序的求解方法.