PROLOG程序相关论文
本文介绍了以船舶主机遥控系统及相关系统为对象开发的计算机测试咨询与故障诊断系统。该系统采用超高级PROLOG逻辑语言,可在IBM—......
本文对Prolog程序中的循环进行了分析,提出了一种识别无穷循环的简单直观方法,在此基础上给出了相应的避免或防止办法。......
提出了一种Prolog程序说明结构,对求解问题的程序加以说明,并以此为基础结合问题特征证明Prolog程序的正确性。同是,以整数划分问题Prolog改进程序和证明......
部分计算是一种重要的程序变换方法和编译优化技术,Prolog程序特别适合于部分计算。目前,国际上已开始了几个Prolog程序部分计算的原......
本文介绍我们设计和实现的一个PROLOG分布并行解释系统。此系统是在已有的顺序Prolog解释程序基础上增加AND并行处理,通过两个机器......
本文给出从形式语法描述BNF表示自动生成语法分析器Prolog程序的一种方法,同时也给出用Prolog语言写的自动生成系统。更多还原......
使用Pro图作为工具对一个双重递归的Prolog程序进行了图解,给出了该程序的Pro图,该图激活时各谓词和参量的变化情况,用逐步推导的详细演算式描述了......
在图形用户界面广为流行的今天,人工智能程序设计大多仍基文本方式,通过程序连接的方式,人工智能程序也可以具有漂亮的GUI界面,Prolog是逻辑程序......
PROLOG是一种人工智能语言,它与过程控制语言在数据结构,程序结构和程序设计方法等许多方面都不相同。本文描述了如何从过程的观点出发,编写......
给出了一种适用于变量分离型程序的简化合一算法,并就该算法在一个采用结构共享技术实现的Prolog解释器中的应用进行了详细的探讨。......
提出一个新的基于程序变换的Prolog程序部分演绎的方法。该方法以程序-目标对(P0,Q0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(Pn,Qn),该方法保......