Prolog编译系统中一些特殊内部谓词实现方法的研究

Prolog语言的编译实现能很大程度地提高程序的执行速度。但是,编译形成的代码在形式上与源程序已大不相同,失去了源形式所带的信息。这大大增加了实现内部谓词的困难。到目前为止,有关编译系统中内部谓词实现方法的文章还很少。本文以Warren的抽象机[1]为基础,对于cut操作符以及asserta,assertz,delelause,abolish,call等几个内部谓词的实现方法进行了探讨,提出了相应的算法。     

二阶谓词在人工智能实验平台PIE中的实现

在分析PIE二阶谓词和内部执行流程的基础上,阐述在PIE中实现二阶谓词的方法和技术。     

Prolog的编译实现

编译技术是实现高效率Prolog系统的一个重要手段。本文提出了设计prolog编译系统时应解决的几个重要问题。这些问题包括:系统设计方案、中间代码的选择、编译器的设计、交互性问题、数据库及数据库操作内部谓词的实现方法等。文中论述了我们对这些问题的看法及提出的解决方法。     

Prolog代码GKD—CDB库的实现算法

在编译型Prolog系统中,Prolog数据库在概念上可看成由两部分组成:源程序库和代码库。由于Prolog包含数据库操作内部谓词,代码库中的代码应该是可修改的。GKD-CDB是我们在VAX-11/780上用C语言实现的一个Prolog代码库。本文论述了其实现算法。     

基于数据流数据处理模型的高效查询优化处理算法设计

提出一种新颖的优化方案.方案采用了查询谓词分组和连接分组技术,在众多的查询之间实现了计算共享,较大地节约了系统中存在的算子的数量并提高了处理速度.连接分组首先检查系统当前有无可以利用的中间结果,在这个基础上进行后续连接操作.谓词分组将相同结构的谓词组织在一起,通过引入常数表的这个数据结构将这些查询组织在一起,并将多个过滤操作转化为连接操作,减少了过滤算子的数量.实验结果表明,该方法不仅节约了内存空间,而且还较好地提高了系统的运行效率.     

Prolog中非逻辑成分的部分计算

内部谓词是Prolog中的非逻辑成分,对它的处理是研制实用部分计算器的难点和关键。本文分析和总结了逻辑程序部分计算的基本特征,并在讨论非逻辑成分对部分计算的影响的基础上,提出了一种处理内部谓词的分类法。最后还分别描述了各类谓词的部分计算算法。与其它文献相比,本文提出的分类法和计算算法更系统、更完善、更可靠、更有效,并已在GKD-Prolog编译系统的源级部分计算器中实现和应用。     

提高Turbo Prolog的内存管理效率

分析了Turbo Prolog的存储管理机制及其效率缺陷。借助于其内部库函数实现了一对供用户直接干预全局栈的申请与释放的谓词getgstack和releasegstack。提出了运用这一对谓词提高全局栈存储效率的基本框架，并以应用示例证明了它们的有效性。     

基于不透明谓词的软件抗动态逆向分析研究

传统的不透明谓词对谓词内部逻辑结构进行复杂化,难以有效应对软件的动态逆向分析。通过插入运行环境检测代码并将检测结果返回给不透明谓词,动态选择分支路径使软件仅在安全环境下运行被保护代码,防止代码被动态分析。引入一般和关键节点概念,提高谓词内部逻辑结构的复杂度并使用形式化方法进行描述。实验证明,成功检测出虚拟机和调试器并避开了受保护代码;在静态指令统计上与使用变形隐匿的方法对比,具有更好的隐匿效果。     

包含高代价谓词查询的基于属性势值估算的优化技术研究

传统的关系数据库系统(RDBMS)是以查询操作中发生的内存与磁盘交换数据的块数(即I/O)为基础进行查询优化的,然而传统代价模型及查询优化方法并不适合包含高代价谓词的查询.学术界提出了一些优化方法,一定程度上解决了高代价谓词查询的优化问题,但这些方法存在优化空间加大、优化程度有限等问题.以具有视频监控的大型超市数据管理为背景,针对包含视频数据及视频处理的混合查询,以操作结果缓存的方式执行高代价谓词,提出属性势值估算以及基于属性势值估算的查询优化方法.这种优化方法更大程度地降低高代价谓词的执行次数,很好地解决了包含传统数据类型和大对象操作的混合查询的代价优化问题.将这种方法与以往高代价谓词的查询优化方法进行性能比较,结果令人满意.     

有效的Prolog编译实现方法

本文从实现的角度讨论了几种有效的Prolog编译技术,包括一个有效的抽象指令集、子句选择回溯,以及可插入子句的内部谓词assert a/z的实现方法.这些技术已被应用到在VAX机上开发的Prolog编译系统中.     

Tuili—Ⅱ里的属性谓词及其实现

Ｔｕｉｌｉ－Ⅱ是一个基于Ｔｕｉｌｉ的知识程序设计语言，属性谓词是其中的一种新的知识表示方法。属性谓词体现了逻辑推理语言Ｔｕｉｌｉ与框架／对象在一定意义下的结合。本文主要介绍属性谓词的提出和基本思想，给出属性谓词说明及其使用的语法定义、语义及解释。讨论了属性谓词的实现思想和主要算法，并给出一个由属性谓词表示分类知识的专家系统原型的例子。     

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

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

基于谓词的全路径覆盖软件测试方法研究

路径覆盖测试是基于白盒的软件测试中覆盖率最高的测试方法;为了实现复杂程序的全路径覆盖测试,提出了一种基于谓词的全路径覆盖软件测试方法;首先研究了谓词覆盖的基本理论,然后对移除谓词后的孤立链进行测试,根据集成测试的观点,将谓词和对应孤立链集成以实现全路径覆盖,同时在算法中加入基本路径覆盖以实现对程序主要路径的重点测试;应用结果表明,该方法实用、高效,具有一定的推广价值。     

Tuili－Ⅱ里的属性谓词及其实现

Ｔｕｉｌｉ－Ⅱ是一个基于Ｔｕｉｌｉ的知识程序设计语言，属性谓词是其中的一种新的知识表示方法．属性谓词体现了逻辑推理语言Ｔｕｉｌｉ与框架／对象在一定意义下的结合．本文主要介绍属性谓词的提出背景和基本思想，给出属性谓词说明及其使用的语法定义、语义及解释，讨论属性谓词的实现思想和主要算法，并给出一个由属性谓词表示分类知识的专家系统原型的例子．     

基于谓词切片的字符串测试数据自动生成

字符串谓词使用相当普遍，如何实现字符串测试数据的自动生成是一个有待解决的问题，针对字符串谓词，讨论了路径Path上给定谓词的谓词切片的动态生成算法，以及基于谓词切片的字符串测试数据自动生成方法，并给出了字符串间距离的定义，利用程序DUC（Definithon-Use-Control)表达式，构造谓词的谓词切片，对任意的输入，通过执行谓词切片，获取谓词中变量的当前值，进而对谓词中变量的每一字符进行分支函数极小化，动态生成给定字符串谓词边界的ON－OFF测试点，实验表明，该方法是行之有效的。     

一阶谓词逻辑的图形推理法

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。     

支持用户自定义谓词的自动定理证明的研究

在先前设计的一个出具证明编译器原型基础上,增加了可用来描述数据结构性质的自定义谓词,对断言语言表达能力方面做了提升.在出具证明编译器的框架内,借助自动定理证明技术,针对自定义谓词的特点,设计了专门的推理规则,由此实现自定义谓词专用的自动定理证明器原型,并将它并入系统原来的自动定理证明器中.该原型可以用来证明操作单链表、二叉树等共享数据结构的程序的性质,其程序规范中可以使用自定义谓词描述数据有序性、链表长度等性质.     

指令级并行中谓词分析技术的研究

谓词支持是IA 6 4体系结构的新特征 ,它为发掘指令级并行提供了更多的机会 ,同时给编译器的设计者增加了难度 .谓词是条件执行的依据 ,是提高指令级并行的新途径 .该文介绍在ORC(IA 6 4OpenResearchCompiler)中首次设计实现的基于谓词划分图的谓词分析技术及其在指令调度中的应用 .利用谓词分析技术建立了谓词关系数据库、指令调度查询谓词关系数据库提高指令级并行 .文章着重论述了谓词关系数据库的核心———谓词划分图的建立 ,在谓词划分图的基础上实现了谓词关系的计算和查询 ,实际结果表明谓词分析技术有显著优化效果 .     

一种面向空间数据库矢量数据的授权模型与实现方法

空间数据库的广泛应用给人们的生活带来极大便利的同时,也带来了严重的安全威胁.空间应用要求授权系统支持灵活的细粒度授权策略以及否定策略,提供高效的授权实现技术.针对这些安全需求,提出一种基于谓词的矢量数据授权模型,并依据空间数据库管理系统在实现上的特征,采用谓词改写的方法实现对矢量数据的有效授权.和现有工作相比,该模型利用授权谓词表示授权区域,具有更灵活的表达能力,且支持否定授权;所提出的谓词改写的方式不仅避免授权判定时额外增加的一次空间查询,而且可以保证与空间数据库管理系统的低耦合度,还有利于空间谓词的优化,减少空间谓词的冗余.实验证明,该授权模型和实现方法能够满足空间应用的安全需求,实现对空间数据库矢量数据的访问控制和有效授权.     

一阶谓词公式关联矩阵的构造方法

一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。