PROLOG实现技术与执行效率

PROLOG语言的研究面临的主要问题是如何提高系统的执行效率——时间效率与空间效率。本文基于NIT-PROLOG系统,对实现技术和执行效率进行了详细的分析,阐述了结构共享,结构拷贝,参数装载,尾部递归优化和索引技术对PROLOG系统执行效率的影响。     

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

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

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

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

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语言是一种逻辑式程序设计语言,其名字就来源于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并行处理。本文讨论PROLOG并行处理的有关问题,如PROLOG并行处理的背景,PROLOG解释的并行模型及相应的处理方式(包括子句分布,并行解释控制策略,处理机/进程的分配/调度,PROLOG过程语义维护,通讯复杂性控制,以及支撑多处理机体系结构等)。最后介绍我们提出并准备实现的PROLOG的A并行处理方式,这一种包纳了多种并行模式的逆向递归式断言并行解释方式。     

PROLOG的指称语义和操作语义

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

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

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

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

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

Access 95 ADT:客户应用程序的ABC

如果你正用Access 95去开发客户应用程序,你将需要499美元的Microsoft Access for Windows 95 Developer's Toolkit(ADT),当你读到本文时,ADT该可以使用了。 ADT具有免费的运行时许可和SetupWizard,这两个都是为了分布而包装Access 95应用程序必不可少的。但是ADT通过提供一个Replication Manager(RM)和一个Transporter,所做的远超出了分布,其中Transporter是用于管理数据库复制的。RM能让你图示化地设置一个复制网络,再加上Transporter,即可进行日常更新。 ADT还包括了Windows 95 OLE这样的控制,如Data Outline、命令对话框、Spinbutton、富文本格式、Image List、List View、TabStrip、工具条、TreeView、     

演绎数据库工具

演绎数据库是既能由事实显式地表示,又能用一般规则隐式地表示的数据库。我们倡导将带类型的一阶逻辑用作定义和操纵这种演绎数据库的语言,并举例说明。这样语言具有通俗易懂的理论,并为数据、查询、完整性约束、视图,以及程序提供统一的表示。我们为实现域、使用带命名属性的原子,处理查询,以及检查完整性约束提供算法。实现是先翻译成PROLOG,然后在标准PROLOG系统上完成。本文假定读者对关系数据库,逻辑、以及PROLOG有所了解。     

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

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

惹人注目的PROLOG语言

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

知识库增长过程中对新知识的消化和吸收

本文定义了能把目标语言和元语言混合于逻辑程序设计之中的元谓词demo,在此基础上计论了在知识库增长期间遇到的四个基本概念:可证明性、不相容性、冗余性和独立性.用PROLOG实现了一个用于知识库增长的知识库系统,完成对新知识的消化和吸收.     

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

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

PROLOG/框架知识表示系统PFKR

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

并发PROLOG的实现模型

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

并行推理多处理机系统DADO

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

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

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