语法分析器PROLOG程序的自动生成

本文给出从形式语法描述BNF表示自动生成语法分析器Prolog程序的一种方法,同时也给出用Prolog语言写的自动生成系统。

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

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

从过程式程序到Prolog程序

ＰＲＯＬＯＧ是一种人工智能语言，它与过程控制语言在数据结构、程序结构和程序设计方法等许多方面都不相同．本文描述了如何从过程的观点出发，编写ＰＲＯＬＯＧ程序．可帮助熟悉过程控制语言的程序员使用ＰＲＯＬＯＧ．

PROLOG程序部分演绎的一种新方法

提出一个新的基于程序变换的Prolog程序部分演绎的方法.该方法以程序-目标对(P_0,Q_0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(P_n,Q_n),该方法保证结果程序一目标对(P_n,Q_n)和输入程序-目标对(P_0,Q_0)计算等价,并且程序P_n解目标Q_n比程序P_0.解目标Q_0效率更高.本文提出的方法已经实现.文中给出了3个部分演绎实例,并且与Benkreimi中提出的Prolog程序部分演绎的方法的结果进行了比较,说明我们的部分演绎方法更优.

Prolog程序正确性的一种证明方法

提出了一种Prolog程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Prolog程序的正确性。同时，以整数划分问题的Prolog改进程序和证明为例，说明程序设计应立足于程序说明和程序正确性的证明。

Prolog程序中循环的终止性分析

本文对Prolog程序中的循环进行了分析,提出了一种识别无穷循环的简单直观方法,在此基础上给出了相应的避免或防止办法。

Prolog与C程序连接的实现技术

在图形用户界面广为流行的今天，人工智能程序设计大多仍基于文本方式，通过程序连接的方式，人工智能程序也可以具有漂亮的ＧＵＩ界面．Ｐｒｏｌｏｇ是逻辑程序设计语言，Ｃ是过程型语言，Ｐｒｏｌｏｇ程序与Ｃ程序的连接为Ｐｒｏｌｏｇ提供了更强的计算能力和ＧＵＩ功能，也为Ｃ语言的应用提供了智能推理能力．基于ＴｕｒｂｏＰｒｏｌｏｇ２．０和ＴｕｒｂｏＣ２．０，本文结合程序实例介绍了Ｐｒｏｌｏｇ程序和Ｃ程序的接口程序设计和连接实现技术，为通过程序连接进行人工智能程序的用户界面开发打下了基础．

Prology程序部分计算的研究与实现

部分计算是一种重要的程序变换方法和编译优化技术，Prolog程序特别适合于部分计算。目前，国际上已开始了几个Prolog程序部分计算的原理模型和专用工具，但其中存在以下若于问题:(1)关于Prolog程序部分计算的基本原理和特征缺乏系统的认识;(2)现有的两种检测逻辑程序中循环的方法，并没有最后解决部分计算的终止性问题》;(3)关于Prolog中内部谓词的处理不够究善，而且其中还隐含了许多语叉错误;(4)部分计算算法相当低效；(5)现有的部分计算器局限于各自的应用领域，缺乏通用性。本文结合我们研制GKD－Prolog编译系统[14]剖中一个实用源级部分计算器的工作实践，全面、系统地讨论了纯Prolog的部分计算、逻辑程序的循环检测以及全Prolog的内部谓词处理。

双重递归 Prolog 程序的运行机制

使用Ｐｒｏ图作为工具对一个双重递归的Ｐｒｏｌｏｇ程序进行图解，给出了该程序的Ｐｒｏ图，该图激活时各谓词和参量的变化情况。

模式信息在Prolog解释系统中的应用

给出了一种适用于变量分离型程序的简化合一算法，并就该算法在一个采用结构共享技术实现的Ｐｒｏｌｏｇ解释器中的应用进行了详细的探讨。