PROLOG并行处理技术

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

逻辑推理机及其并行性的开发

逻辑推理机的研制是第五代计算机发展的主要方向之一.其目标是设计高性能的并行逻辑推理机.本文介绍了这一崭新的非冯·诺依曼型计算机系统的主要特点.以PSI机为例讨论了串行推理机的结构,并对逻辑推理机中固有的"与"并行性、"或"并行性、"合一"并行性、"流"并行性及搜索并行性进行了分析,通过DADO PROLOG机器、Conery-Kibler PROLOG并行解释程序、并发PROLOG和PARLOG语言的典型实例分析了如何从逻辑程序设计语言、逻辑推理机体系结构及机器硬件实现三个层次来开发上述并行性.     

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

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

PROLOG的一种并行解释方式的模拟实现

本文简要介绍我们研究的一种PROLOG并行解释方法,包括PROLOG并行解释的基于知识重写的逆向断言生成树林模型以及相应的并行解释控制算法—分布式断言进程族方法。我们已经模拟实现了这一方式,本文也给出模拟实现的梗概。     

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

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

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

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

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

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

多处理器结构实现并行推理初探

推理机是第五代计算机的核心,扩展的PROLOG 语言是第五代计算机的核心语言,基于PROLOG 语言的推理机的研究,已引起了越来越多的人的兴趣。本文首先简要介绍了PROLOG 程序中的五种固有并行性:“与”并行性、“或”并行性,搜索并行性,流并行性和变量匹配并行性。然后着重分析了实现“与”并行和“或”并行必须要解决的问题。“与”并行中的关键问题是确定体中各目标的执行顺序和对目标的所有解进行相容性检测。“或”并行中的关键问题是设计好的子句排序算法和根据求解要求自动中止某些求解进程。一个好的一致化算法也是加速求解进程的关键问题。文中提出了相容性检测算法和子句排句算法的设计规则,同时也介绍了Conery 和Kibler 在并行中确定目标执行顺序的一个定序算法。文中最后给出了一种实现并行推理的多处理器结构。该处理器结构同时执行“与”并行和“或”并行,“或”并行中又包含并行和流水。该处理器结构简单清楚,处理器之间相互独立,通信少,便于扩充,控制也比较方便。     

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语言与并行PROLOG机器

一、引言举世瞩目的日本第五代计算机(以下简称5G)工程的第一阶段业已结束,其主要结果是:直接用微程序解释执行核心语言第0版KL0(一种顺序PROLOG)的个人顺序推理机PSI和在PSI上用系统程序语言ESP(一种扩展PROLOG)实现的操作系统和编程系统SIMPOS(PSI+SIMPOS=顺序推理机SIM),以及一种作为知识库机基础的关系数据库机Delta。这一阶段的工作主要是为了建立后期研究的测试台和硬软环境。 5G工程第二阶段(现阶段)的核心工作是研制并行推理的多处理机体系结构,     

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

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

共享变量的识别与智能回溯算法

本文分析讨论了PROLOG程序中的变量共享及其在流并行处理和智能回溯中的重要作用,提出了识别共享变量的静、动态结合算法以及在此基础上的流并行子目标的识别算法和智能回溯算法。     

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

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

惹人注目的PROLOG语言

一、前言如果你读过有关第五代计算机的文献,那么你一定知道PROLOG.由于在世人瞩目的第五代计算机中选用PROLOG作为其中核语言,PROLOG变得更加惹人注目了. 本文试图对PROLOG的概况作粗略的介绍,希望使读者对PROLOG能有初步的了解.     

扩展MIOBO—PROLOG解释系统与ETHERNET局部网络的知识库

本文介绍了一种扩展MICRO—PROLOG 解释系统所具有的图形和局部网络功能。还说明了用它在ETHERNET 局部网络上建立的知识库的功能。结构及应用实例。     

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

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

用PROLOG实现数据处理系统

本文介绍了两个用PROLOG实现的数据处理系统,讨论了用PROLOG实现具有演绎推理功能数据处理系统的可行性、优缺点和实用范围。     

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

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

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

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

内嵌式数据库引擎实现中的优化方法

近年来,PROLOG获得了越来越广泛的应用,进化也很快。但是人们在用PROLOG开发实际应用时常常希望访问外部数据库,特别是XBASE数据库中的数据,为此WIN一PROLOG作出了努力。虽然WIN一PROLOG可以通过ODBC访问符合ODBC标准的数据库系统,但是存在如下问题; 1.访问数据库是不透明的; 2.效率不高。如果能够为PROLOG研制一个内嵌式(BUILT一IN)数据库引擎