PROLOG并行处理技术

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

支持专家系统的PROLOG—SHELL

本文就PROLOG在专家系统中不尽人意的应用状况,提出在PROLOG核外扩充一层SHELL的方案,PROLOG—SHELL是一系列基PROLOG的内部子程序集合,支持专家系统的多种知识表示和多种推理控制策略,并有良好的用户接口,是灵活而通用的专家系统开发工具。     

PROLOG语言及其实现

PROLOG语言是一种逻辑式程序设计语言,其名字就来源于PROgram和LOGic。PROLOG语言改变了人们所熟悉的程序设计语言中一些基本概念,引入了新的思想。PROLOG的程序并不说明运算的过程,它所描述的是事物间的逻辑关系,因而也被归类为非过程式程序设计语言。 本文将通过以下三个部分,介绍笔者于一九八四年实现并通过技术鉴定的一个PROLOG语言系统。它是一个可以在IBM-PC、IBM-PC/XT、IBM-PC/AT和IBM-PC兼容机,以及WANG-PC机上运行的 PROLOG语言系统。1.PROLOG语言的程序结构;2.PROLOG语言系统的核心算法;3.PROLOG语言系统的实现。     

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

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

惹人注目的PROLOG语言

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

PROLOG的内部谓词cut及其对程序终止性的影响

PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选择和循环。并且,cut还有利于提高程序的效率——加快运行速度和节省存储空间。但是,cut并不是原来一阶逻辑意义下纯粹的谓词,因而它的出现改变了原有程序的逻辑语义——PROLOG的描述性语义,并对PROLOG程序终止性的判定带来不良影响。从某种意义上来说,cut就是PROLOG中的goto语句。     

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

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

GKD-PROLOG/SUN多窗口系统的设计与实现

本文较系统地介绍和分析了SUN工作站上支持多窗口用户界面开发的窗口系统SUNVIEW,并根据PROLOG语言的特点,详细地讨论了在SUN工作站上PROLOG多窗口系统的设计思想,以及该系统与PROLOG解释器及各种工具软件的连接方法和在SUN工作站上的实现技术     

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

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

PROLOG/框架知识表示系统PFKR

PFKR是我们用Micro-PROLOG编程实现的一个知识表示系统,其主要功能有:(1)框架知识表示.PFKR不仅能表示框架的概念层次,在PROLOG的强知识推理能力支持下,还能完成附加过程、缺省值以及多继承性等处理.此外,在处理框架时,该系统对用户是透明的,以框架结构输入,并得到框架形式的查询输出.(2)PROLOG/框架程序设计.形式上,PFKR是一个将PROLOG与框架融为一体的知识表示系统.在PROLOG程序中可以嵌入框架结构,而在框架程序设计时又可用PROLOG子句.     

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

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

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

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

新颖的人工智能语言——PROLOG

计算机程序设计语言PROLOG在世界范围内正日益为人们所知,它的理论意义和使用价值引起学术界的普遍视。PROLOG是一个用于符号计算方面的语言,尤以解决人工智能方面的问题见长,因此,深得人们的赏识。在欧洲和日本,PROLOG颇为流行,并且有人以PROLOG为基础,着手研制未来第五代计算机的语言。 PROLOG的主要优点在于语言虽小,适应面却很广,尽管语言的功能强得惊人,然而语言本身并不繁杂,程序形式简单,漂亮。从用户的角度来看,PROLOG的主要可取之处不在于它的功能强,便于解决各种复杂问题,而在于易于设计出不易出错的程序。     

PROLOG的指称语义和操作语义

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

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

GKD—PROLOG／SUN模块系统的设计与实现

模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释器一级直接支持模块的动态及静态创建,模块间的交互及模块系统运行环境间的切换,使PROLOG适用于大型软件课题的需要,本系统不仅支持模块化的程序设计风格,也为实现面向对象的逻辑程序设计环境奠定了基础。     

模糊PROLOG语言与专家系统

模糊PROLOG语言为专家系统的研究拓宽了道路,本文扼要介绍了新型模糊PROLOG语言一f-PROLOG,旨在说明它的基本语法,以及它和传统PROLOG语言的异同。进而,着重讨论了专家系统中的知识表达和非精确推理,指出传统的知识表达方式和推理方法因缺乏必要的模糊逻辑方法论背景而把大量的模糊信息和经验知识排斥在外,并通过实例说明f-PROLOG不仅是一种良好的知识表达工具,而且很适合用做专家系统的推理机。     

用PROLOG实现数据处理系统

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