【基於编译的逻辑程序执行机制的研究】.pdf
摘要 摘要 逻辑富的表达能力等特点,一直受到国际AI界的高度 重视,在知识信息处理领域有着广泛的应用。为了提高逻辑程序的 执行效率,需要对逻辑.本文对基于Warren抽象机(WAM)的逻辑。在扩充WAM的基础上,设计了能支持非 逻辑成分的顺序PROLOG抽象机PAM。基于这个实用的逻辑程序执 行模式,对逻辑程序的基本执行机制一一一致化和回溯进行了详 细的分析和功能上的扩充,分别提出与实现了新的一致化算法一 基于无限项处理的unifyⅢ
三 目录 第一章绪论 1逻辑1 1WAM抽象机简介 1 数据空间和数据类型 1 机器状态 1 指令系统 1对WAM抽象机的分析 1 WAM抽象机的特点 1 WAM抽象机的不足及其扩充 第二章一个扩充的Warren抽象机一PAM的设计与实现 2 存储空间 2 机器状态 2 数据类型和存储方式 2抽象机的指令系统 2 体变元装载指令 2 头变元匹配指令 2结构数据构造指令 2.
第一章绪论 第一章绪论 今天,计算机的应用已步入知识处理阶段,不仅需要大量的数值计 算、数据处理和信息处理,还须考虑到处理对象的语义。知识信息的处 理更多的是对符号的处理,而传统的数值型语言已不能满足这种要求.逻辑,与其它语言 相比,其,较为接近自然语言,适合于符号。逻辑,便于知识信息处理.PROLOG是一个典型的逻辑,具有良好的理论基础和 丰富的表达能力。作为一种具有独特风格的语言,PROLOG已为大多数 AI程序员所接受,已是人工智能和知识工程领域广泛采用的一种语言。