NNI-PROLOG/PC系统的实现技术

本系统从编译和求解机制两方面着手,即考虑了编译阶段对求解机制的影响,同时分析了结构拷贝技术、编码索引技术、参数装载和保存技术、尾递归优化技术对PROLOG执行效率的影响。最后,就本系统和Tubro-PROLOG的性能作了评价。     

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

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

抽象数据类型的PROLOG实现

抽象数据类型(abstract data type,以下简称ADT)和PROLOG都可作为数据类型的描述语言,本文旨在揭示二者间的关系。 本文给出ADT的形式定义及语义(执行策略),定义了一个证明系统用以表述执行策略,最后引入一个有效的从ADT到PROLOG的变换规则。     

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

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

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

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

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

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

知识库管理系统GKBMS预编译器的研究与实现

知识库管理系统GKBMS是在Micro VAXⅡ上研制成功的一个通用知识信息处理的集成化环境系统。本文介绍其中预编译器的研究与实现。该预编译器由二级优化编译组成,分别采用部分计算技术和静态优化技术,能够支持元、目标级混合程序[8][11]及PROLOG—DBMS耦合程序[10]的优化。应用表明,该预编译器可显著提高知识程序的执行效率。     

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系统的Pascal实现

本文介绍一种采用从顶向下、深度优先搜索策略的PROLOG系统。在文章中,将讨论设计考虑、系统组成以及用Pascal语言实现的方法。本PROLOG系统具有汉字处理功能。在本文最后,结合研制体会提出进一步提高效率的几点看法。     

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

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

知识处理结构——兼评微程序设计及分布式设计在知识处理中的意义

本文阐述了知识处理结构的观点,提出了当前条件下的智能机——知识处理系统的设计思想,文中研究了PROLOG/Z及其它面向专家系统的几项设计技术.     

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

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

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

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

并行推理多处理机系统DADO

用传统多处理机系统来作知识库/专家系统中的并行推理或PROLOG程序执行中的并行解释,DADO是较有影响的一个代表。本文介绍DADO的背景与结构,DADO的工作方式,以及DADO用作并行产生式系统机器和并行PROLOG解释系统。     

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

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

并发PROLOG的实现模型

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

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

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

通用PRIP程序设计语言EPPPI的设计

本文介绍了一种同时具有PASCAI和PROLOG语言特点的通用的模式识别和图象处理(PRIP)程序设计语言EPPPL,相对于PASCAL,EPPPI包含了抽象级更高的数据类型和相应的公共操作.因而该语言具有比PASCAL更强的描述能力,使在科学计算程序设计时有更高的效率.文中论证了在EPPPI中引入PROLOG机制的可行性.由于在EPPPI中包含了PROLOG的机制,使该语言适用于人工智能程序设计,并具有陈述式特点,因而使它的编程效率更进一步提高.