摘要： 本文对一个逻辑程序语言中数据库修改操作的例子进行了描述和分析。采用基于时间的事件推理和在逻辑程序结构中时间处理的方法,将逻辑程序语言中数据库修改操作简化为仅包含插入操作,而删除操作可通过插入操作间接地实现。 我们用扩展的Horn子句对逻辑程序语言中数据库修改操作进行形式化,并且逻辑实现了逻辑程序语言中数据库修改操作,从而使逻辑程序语言中数据库修改操作更适合于逻辑程序设计。

Abstract: A method of event reasoning based on time and time processing in the logic programming structure is presented by describing and analyzing an example of data-base modifying operation in logic program language. The data-base modification in logic program language includes only inserting operation in our method. With extended Horn clause, a formal description and logical realization of the data-base modification in logic program language is given.