逻辑程序并行推理机EC─PIM的系统设计与实现

本文介绍面向逻辑程序的并行推理机系统ＥＣ－ＰＩＭ。它以逻辑程序设计语言ＰＲＯＬＯＧ为核心，以硬件、软件两方面结合的方式直接实现以ＰＲＯＬＯＧ所描述的推理任务。系统设计基于Ｅａｒｌｅｙ算法、ＶＬＳＩ技术以及适当的系统结构及部件的设计方案。在提出并行推理机及其概念模型的前提下，作出ＥＣ－ＰＩＭ体系结构的设计，包括互连结构。公共存储器系统的设计方案。并成功地实现了双八路二级并行逻辑推理模拟机的研制。     

并行推理机设计的主要论题

基于谓词逻辑的逻辑程序设计语言将逻辑推理对应计算,它丰富的表达能力特别适合于知识信息处理。Warren提出的编译技术大大提高了顺序执行Prolog的时空效率。但是,为了满足知识信息处理应用的要求,需要研究并行推理机以并行执行逻辑程序。本文论述了并行推理机设计中涉及到的一些问题,从逻辑语言,执行模型和体系结构等方面探讨了并行推理机中并行性开发方法和需考虑的问题。     

并行逻辑程序设计语言GHC的实现

本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂起机制实现方法。该方法在保持环境访问效率的前提下,具有较小的系统开销,为GHC的高效实现提供了可能。     

一个并行推理机模拟实验系统—SES—PIM

1.引言 我们的研究目标是设计一个并行执行逻辑程序的计算机系统结构。从1984年初开展这一工作以来,已取得的主要结果包括:提出了一种描述逻辑程序执行过程的新方法——OR树林方法及其执行模型PSOF,设计了基于PSOF模型的并行推理机系统结构     

函数／逻辑程序设计语言RFUNILOG

本文提出了一种兼备函数／逻辑功能的程序设计语言ＲＦＵＮＬＯＧ。它不仅具有统一的语法形式和丰富的语言设施，而且有统一的操作语义，整个语言可以用图归约的概念来解释。     

并行推理机编译技术的研究

自动模式识别,数据相关性分析、AND并行性的开发、副作用处理、并行性的粒度分析、并发语言的处理和WAM指令集的扩充是并行推理机编译中所面临的一些课题。本文对这些课题及我们所做的工作逐一作了论述,并展示了并行推理机编译技术研究的前景。     

并行推理机及其基本软件综述

本文简要介绍FGCS计划的总体框架、PIM机及其基本软件。FGCS原型系统的核心是并行推理系统,包括并行推理机PIM和它的操作系统PIMOS。知识库管理系统(KBMS)建立在并行推理系统上,并与PIMOS共同构成FGCS原型系统的基本软件。在此基础上,开发出约束逻辑程序设计语言的LP(Language Processor)、并行定理证明器、自然语言处理系统等高级知识程序设计软件,以支持有力的推理和知识处理。为评估PIM和探索知识处理的新领域,研制了几个实验性应用系统。总之,有关PIM的成果和基本软件远远超过了FGCS计划的初始研究目标。     

具有并发延迟功能的PROLOG语言控制策略的设计与实现

本文对一般Prolog语言的控制策略所存在的问题进行了分析,提出了一个新的具有并发延迟功能的控制策略,它有效地避免了递归谓词的低效或无限循环调用,也可实现事实子目标的优化查询,提高了系统的效率、完善了系统的功能。     

逻辑程序模块化的研究与实现

模块化结构是当今智能语言或工具系统商品化和标准化的一个重要部分。我们在ＧＫＤ－Ｐｒｏｌｏｇ的基础上，设计并实现了一个模块化Ｐｒｏｌｏｇ系统。它同时引入了模块和执行环境的概念，并提供了对这些概念的直接支持，使Ｐｒｏｌｏｇ更适于知识的表示和操作。本文主要研究了Ｐｒｏｌｏｇ模块系统的概念和理论，描述了系统的组织结构，并结合两种实现模块机制的方法介绍了本文的主要实现技术，最后给出了我们引入的模块操作原语。     

逻辑程序AND并行的一种无冲突处理技术

为了提高逻辑程序的执行效率,研究逻辑程序的并行处理技术,是当前逻辑程序设计研究课题中的重要方面之一.本文提出了一种实现AND并行的无冲突派生处理技术.基于这一处理技术,我们在以太网连接的多处理机系统上,开发了一个PROLOG的AND并行处理系统WUMPPS.该系统对一类问题的求解具有较高的效率.     

演绎数据库系统中推理机的设计与实现

演绎推理是有效实现演绎数据库系统的关键与核心，该文针对一种结构合理的演绎数据库系统的设计方案，介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术，并对推理机的运行机制进行了分析。     

Improvements to the Control Techniques of Sequential Inference Machines——from Instructions to Hardware Organization

Nondeterminism of PROLOG execution requires that a block of control information or a choice point for each procedure call be stored when there are other candidate clauses to be used.When the currently selected clause fails,the bindings made by the clause must be undone and the stored choice point is reactivated,and then another clause of the candidate ones is chosen to run on it.Storing and reactivating choice points and undoing account for the great overhead are required to control PROLOG execution,which is quite different from conventional programs.This paper focuses on the techniques used in Sequential PROLOG Engine (SPE) to reduce the overhead of control operations.The control instructions of SPE store no more choice points than the necessary.Its architecture takes the approaches of analysing the potential parallelism in the control operations and developing a fraction of it due to the cost-effect consideration.The results of executing two sample programs on SPE in the form of hand timings are presented,which favor the approach.