关于逻辑程序不动点语义的讨论

摘要：

主要讨论逻辑程序中的最大不动点语义. 证明了当Herbrand解释语义映射TP是保滤子交的,或者确定性程序中不含函数符号,或者它的每一个子句都满足:子句体的变量都在子句头中出现时,集合Tp↓ω就是语义映射Tp的最大不动点. 然后定义了另一个Herbrand解释语义映射Fp,将关于逻辑程序不动点语义的一些主要结论进行了推广.

关键词：逻辑程序设计、不动点语义、Herbrand解释、Herbrand模型

所属期刊栏目：22

分类号：TP311.1(计算技术、计算机技术)

资助基金：广东工业大学校科研和教改项目042027

在线出版日期：2005-07-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：120-124,129