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

关键词: Extended logic program, 自动更新, 标识更新

Abstract: The advantage of Logic Program is its dynamic update, In this paper, rich update and replacing update is proposed and then “new ” update is suggested to get update programs. In the end the solution to the update program is given.

中图分类号: 

• TP311