PROLOG的一种并行解释方式及其实现

文中我们概略地描述了PROLOG的A-并行解释思想。本文主要描述PROLOG的A-并行解释方式的实现及有关的模拟和分析结果。我们首先概述PROLOG 的A-并行解释思想,然后给出A-并行的系统结构和解释模型,以及子句分布和分布式解释器的实现和模拟,最后分析和讨论有关的功能和性能问题。     

PROLOG并行处理技术

我们把用多处理机系统来并行解释(传统顺序)PROLOG程序称做 PROLOG并行处理。本文讨论PROLOG并行处理的有关问题,如PROLOG并行处理的背景,PROLOG解释的并行模型及相应的处理方式(包括子句分布,并行解释控制策略,处理机/进程的分配/调度,PROLOG过程语义维护,通讯复杂性控制,以及支撑多处理机体系结构等)。最后介绍我们提出并准备实现的PROLOG的A并行处理方式,这一种包纳了多种并行模式的逆向递归式断言并行解释方式。     

PROLOG并行解释系统中AND/OR并行成份选择策略

作者认为变量共享以及 ADDCL、DELCL和KILL等数据库操作内部谓词的副作用是影响顺序 PROLOG并行解释的并行度的主要因素。寻求一种识别、选择AND/OR并行成份的有效算法,获得PROLOG子句和子目标的最大可并行计算类,是PROLOG 并行解释的重要步骤。本文对这一问题进行详细讨论,得出了若干实用的结论。     

Prolog程序的分布并行执行系统

本文介绍我们设计和实现的一个PROLOG分布并行解释系统。此系统是在已有的顺序Prolog解释程序基础上增加AND并行处理,通过两个机器间的通信实现目标的并行执行,从而提高PROLOG的实现效率。     

并发PROLOG的实现模型

由于日本选择PROLOG作为第五代计算机核心语言,近年来对PROLOG并行化的研究越来越受重视。本文介绍并发PROLOG的基本思想并讨论其实现技术。     

模块化PROLOG语言的设计与实现

PROLOG语言是基于一阶谓词逻辑的子集——HORN子句逻辑的程序设计语言,以其易于理解和易于书写,在当前正越来越受到重视。本文在分析基本PROLOG语言的基础上,参考有关的工作,设计了一种模块化的PROLOG语言M-PROLOG,并且实现了由Kowalski提出的证明性谓词demo,从而提供了元级推理与目标级推理的接口。最后,本文简单介绍了MPROLOG在Altos-986微机上实现解释系统A-SYSTEM的一些体会。     

逻辑编程语言PROLOG及其系统设计原理

本文简要地介绍与评价了第五代计算机的核心语言——PROLOG;给出了PROLOG语言的BNF描述;从两个方面叙述了PROLOG系统的设计原理:一个是较高级的PROLOG自解释系统PIP,另一个是可用较低级的语言来实现PROLOG系统的一个算法。     

一类受限PROLOG程序的抽象解释及其应用

本文提出一类受限的PROLOG程序——例化良好程序的抽象解释的理论模型,证明抽象解释的结果精确地反应了此类程序在实际运行时的模式信息,即各个谓词调用点处变元例化的状况.这一模式信息可应用于PROLOG的各种实现系统之中,使PROLOG程序的运行速度提高一至两个数量级.作为例子,本文给出适用于变量分离型程序的简化合一算法.本文最后还讨论了向全Horn子集推广的问题.     

编译型PROLOG数据库的结构模型及其分析

作为一种非常重要的人工智能系统构造工具,PROLOG是近十年来被研究得最多一门程序设计语言。当今,围绕PROLOG的研究已经经历由解释实现到编译实现,由顺序     

基于Search并行的顺序PROLOG系统的设计与分析

克服PROLOG系统低效的重要途径是减少/加快数据库搜索及项合一操作以及减少/加快回溯操作。本文给出一种多处理机上的基于SEARCH并行的顺序PROLOG解释方法,指出它在克服搜索/合一代价高这一方面的优点并分析通讯对于系统性能的影响。     

NPU-PROLOG2.0解释系统的知识库管理

NPU—PROIOG 2.0是作者在IBM—PC/XT上用PASCAL语言实现的一个PROLOG解释系统。该系统的知识库管理采用了虚拟存贮管理技术。本文内容主要包括:(1) NPU—PROLOG 2.0的知识库总体设计;(2) NPU—PROLOG 2.0的外存知识库管理;(3) NPU—PROLOG 2.0的内存知识库管理。     

多机并行PROLOG处理系统WUMPPS的设计与实现

本文给出了我们在武汉大学分布式计算机系统上开发的多机并行PROLOG处理系统WUMPPS的概貌。文章着重讨论了WUMPPS的设计思想及其实现策略,此外还通过WUMPPS运行的一个程序对系统性能作了简单分析。     

多机环境下的PROLOG并行解释算法

本文提出了一种多机环境下的PROLOG并行解释模型及算法。该算法有以下主要特点:(1)采用深度与广度优先相结合的搜索策略,可以避免很多无用搜索:(2)系统性能随事实库增大,事实库搜索量的增多而提高。     

编译型PROLOG系统中内部谓词的实现策略

实用PROLOG语言为用戶提供了大量的內部谓词,实现这些內部谓词是一较为困难的问难,尤其是在编译型PROLOG系统中更是如此。本文介绍在我们所设计的主辅机结构的编译型顺序PROLOG系统KD—PP中,內部谓词的实现方法:借用指令法、专用指令法、子目标序列定义和接口指令法。根据內部谓词的不同特点,不同內部谓词的实现方法的也不一样。我们认为:文中提出的实现策略在主辅机结构的编译系统中是简单可行的,而且实现效率也是较高的。     

PROLOG的指称语义和操作语义

PROLOG程序的语义通常是根据一阶逻辑的模型论给出的。但是,这并不足以刻划PROLOG程序的计算特性。PROLOG的实现主要采用了以程序中子句和字面的正文出现次序为基础的顺序计算策略,并用到诸如“Cut”之类的非逻辑成份。在本文中提出了一种指称语义,它能刻划PROLOG的计算特性。我们给出了不含“Cut”的PROLOG的语义,然后,将其推广到含“Cut”的pROLOG。在两这情况下,我们分别证明了该语义与标准操作式解释程序的等价性。作为这一指称语义的应用,还证明了有关PROLOG程序变换的一些标准的“常用”定理的正确性。     

80386PROLOG编译系统

本文介绍了我们在汉化Xenix系统支持下开发的80386PROLOG编译系统的某些特色,描述了全局变量,模块程序设计及受限辖域的cut等功能在80386 PROLOG中的实现及使用方法.     

基于VC++和Prolog语言混合编程的专家系统框架

为解决专家系统开发周期长的问题,提出并实现了用PROLOG与VC 混合编程方法开发专家系统框架的方案,用VC 实现专家系统框架的人机界面,用PROLOG语言构建知识库并实现推理过程.该框架具有较好的用户界面,用户只要输入或导入脚本编写的知识库、事实库和目标,就可以进行目标求解,因此简化了专家系统的开发过程.介绍了该专家系统框架的实现原理和设计思想,给出了导入导出模块、脚本语言语法检测模块和解释机制的实现方法.     

基于PROLOG和INGRES的演绎数据库系统的研制

本文提出了将PROLOG语言和INGRES关系数据库系统相结合的演绎数据库系统,把PROLOG的逻辑推理能力和INGRES的数据管理能力有机地结合在一起.文中讨论了PROLOG和INGRES的结合方法,PROLOG实现技术和查询优化等问题.文中还叙述了演绎数据库系统在DUAL-68000微型机上的实现过程.     

演绎数据库系统G-DDBS/VMS的研制

本文就G-DDBS/VMS的体系结构作了分析和说明,提出了一种基于预编译的高效解释方法,讨论了具有鲜明层次性和模块性的内涵数据库的存贮组织及其管理方法,介绍了我们为该系统设计的两种用户查询语言,即基于PROLOG的查询语言PBQL以及近于自然语言的查询语言SQL。对系统的完整性约束问题提出了关于演绎知识的吸收概念以及用元谓词实现吸收的方法。