基于逻辑程序的逻辑信息系统

Logic Information Systems for Logic Programmers

逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新。逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用。为此给出了逻辑信息系统的规则以及建立在系统基础上的程序。在逻辑程序中,通过对逻辑的内涵概念和外延概念的解释,可以对不同的逻辑程序进行优劣的比较,从而为选择最佳的逻辑程序提供标准。

Logic Information Systems （lis） use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to update it. A logic plays in a Lis the role of a schema in data-bas- es. We present the principles of Lis, and a system-level implementation. We compare with the use of logic in Logic Programming, in particular through the notions of intention and extension.