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

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

Turbo PROLOG程序开发中数据描述的一种方法

ＴｕｒｂｏＰＲＯＬＯＧ程序开发中数据组织与描述的一种系统的、实用的、简单但又十分具体的方法和过程。参照文中的步骤，可以有效地把用户的数据说明直接地变换为相应的ＴｕｒｂｏＰＲＯＬＯＧ定义。     

面向对象的PROLOG程序测试工具的研究与实现

本首先对Ｐｒｏｌｏｇ程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法，接着介绍了一个面向对象的Ｐｒｏｌｏｇ程序测试工具的设计与实现。     

知识程序设计语言LISP和PROLOG综述

通过对知识程序设计语言LISP和PROLOG两种语言进行分析比较,揭示了二者间的差异和以及所具有的共同特点。     

一类受限PROLOG程序的抽象解释及其应用

本文提出一类受限的PROLOG程序——例化良好程序的抽象解释的理论模型,证明抽象解释的结果精确地反应了此类程序在实际运行时的模式信息,即各个谓词调用点处变元例化的状况.这一模式信息可应用于PROLOG的各种实现系统之中,使PROLOG程序的运行速度提高一至两个数量级.作为例子,本文给出适用于变量分离型程序的简化合一算法.本文最后还讨论了向全Horn子集推广的问题.     

一种新型的TURBO PROLOG程序中文显示方式

TurboProlos语言是第五代语言。由于它的自然化，逻辑化特性，即使是程序设计新手也能在较短的时间里设计出高质量的应用程序，因而许多程序设计者喜欢使用这种语言进行智能程序开发。我国是以汉语为主要语言的国家，广大的用户习惯于计算机以中文方式进行显示，因而能否以中文方式显示将影响到应用程序的推广和普及程度。国内已经有许多专家学者对此进行了研究，取得了一些成就，由于种种原因，在某些场合这种成就并不奏效。因此我们进行了自己的设想和研究，主要是在显示方面作一些探讨，而不涉及系统的汉化问题。1具体实现方法Turbonro…     

智能程序设计语言VISUAL PROLOG 编程解析

VISUAL PROLOG具有很强的逻辑推理能力,且易于编程,操作界面友好,近年来得到程序设计行业的广泛 关注。本文对VISUAL PROLOG程序设计语言的主要特征进行概述,在此基础上,对基于VISUAL PROLOG语言的程序编 程展开较为深入的探究。     

用于程序循环控制的错误检测算法

为确保安全苛求系统中程序执行的正确性,针对程序循环控制中内存未更新、循环提前结束和循环滞后结束的问题,提出一种基于含签名和时间戳的算术(ANBD)码的循环控制错误检测算法。该算法通过ANBD码,将程序变量编码为含签名的码字。通过校验码字签名,检测循环控制错误。运用ANBD码中的时间标签,可检测内存未更新错误。另外,在ANBD码基础上,通过采用在线语句块签名分配算法、语句块签名函数和变量签名补偿函数,检测循环提前结束错误和循环滞后结束错误。该算法理论错误漏检概率为1/A,其中A为编码素数,选取97~10993的素数进行错误漏检概率测试,得到理论模型与测试结果的归一化均方误差(NMSE)约为-30 dB。测试结果表明,该算法可检测循环控制中出现的各类错误,且编码素数A接近2³²时,错误漏检概率可达10^-9,能够满足安全苛求系统的应用要求。     

JOOADL方法中循环程序的构造

循环结构的生成是基于程序规范的构造方法的核心问题之一。ＪＯＯＡＤＬ方法在规范说明中用一种类一阶谓词逻辑公式描述参数所满足的条件和目标,并提供一种将目标对应到程序的方法。其中将含量词的子公式对应到循环结构,循环索引变元遍历有界约束变元的取值域。本文试探讨循环结构生成方法的一个改进途径：利用关于量词所在类上的断言集,通过由目标制导的演绎,得到启发式,以指导生成更有效的循环程序。     

运用PROLOG语言表示和处理分子结构

本文描述了用第五代计算机程序设计语言－ＰＲＯＬＯＧ表示和处理分子结构的方法，提出了按照环系和功能团对分子结构进行归约的方法，并且设计了由母核与分子片段组合产生分子结构的ＰＲＯＬＯＧ程序。     

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

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

面向程序可达性验证的数组处理循环压缩方法

计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。     

循环的处理及优化

10.1 循环的处理及目标结构 FORTRAN中的循环语句比较简单,只有一种步长型的循环语句: DO L I=M_1, M_2, M_3其中L是循环终结语句的标号,I称为循环控制变量,M_1、M_2、M_3分别为初值、终值、步长参数,统称为循环参数(简称循参)。当M_3=1时,可以省写M_3及它前面的逗号。     

实践中的PROLOG

近来,作为解题系统大有作为的工具,PROLOG正越来越风行。PROLOG也可以看作是对某些类型的应用问题的实际可用的程序设计语言。为此,需要其工作实现,以满足程序执行的效率,语言功能的可扩充性,规范程序设计(如模块化设计)工具的引进,程序开发环境的有效利用等方面的要求,文中介绍的MPROLOG系统即可看成是实现大多数这些要求的一个尝试。     

第五代计算机逻辑型程序设计语言PROLOG及其应用

一、逻辑型程序设计语言PROLOG第五代电子计算机是一种新型的超级电子计算机,计算机系统面向知识信息处     

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

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