Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

逻辑程序的一种并行执行模型

本文基于静态相关性分析和动态调整相结合的方法，提出了一种逻辑程序的执行模型，它不仅开发了“与“并行，同进也开发了一定的“或“并行，从而有效地加速了逻辑程序的执行。     

一个基于抽象解释部分演绎过程

本提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行ＰＰＵ｛Ｇ｝的部分演绎和抽象解释，以轴象解释控制部分演绎的展开过程，只要抽象论域是有穷的，部分演绎必定终止，耐用Ｐ’带有抽象解释估算出的关行其运行性质的信息，便于对Ｐ’作进一步优化。     

并行推理机RAP／LOP-WAM的方案设计和性能评价

本文首先简要介绍了逻辑程序并行执行模型RAP/LOP，它基于OR树林描述，扩充WAM支持限制与/或并行执行逻辑程序，然后重点论述了并行执行模型和它的抽象机映射到多处理机系统的方案，探讨用通用CPU芯片和附加专用硬件构造并行推理机，最后通过软件模拟系统对系统体系结构进行评价。     

不确定型逻辑程序的综合

本文提出了基于演绎和知识相结合的通过构造性证明综合程序的方法,进而讨论了不确定型逻辑程序的综合和自动综合的有关问题。用append程序的综合展示了这些方法。     

Datalog逻辑程序调用语义及其应用研究

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。     

基于计算解语义的逻辑程序测试和调试框架

逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互.减少对调试过程不必要的调用能够提高软件开发的效率.程序测试中得到的由同一个错误引发的多个症状是引发对调试过程不必要调用的因素之一.给出了一种逻辑程序测试和调试框架,其中测试用例的生成、症状的发现和调试(包括诊断和改错)交叉进行,由同一个错误引发的症状只有一个可引发调试过程执行,并以此方式避免了对调试过程不必要的调用.然后,利用一种基于约束的Prolog计算解语义,该框架被实例化为一种Prolog程序的测试和调试算法,本实例表明了该算法的应用.     

支持逻辑程序并行执行的智能回溯机制

本文提出一种支持ＰＲＯＬＯＧ程序并行执行的智能回溯机制,它是基于数据相关性分析的动静结合的智能回溯策略,在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合,动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点。     

基于标记逻辑的非单调推理（Ⅰ）

我们把标记逻辑定义在一个特殊双格上,通过比较标记选取结论,从而同时捕捉超协调（容错）推理和非单调推理．本文介绍标记逻辑程序的句法与语义构造,提出诱导序列及其极限的概念,给出极限存在的等价条件,并证明一个重要结果：诱导序列基本定理,它是后续讨论的基础．     

表达式的覆盖、分解与划分

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念,得到２个表达式之间覆盖关系的判别准则．对多个表达式,作者提出表达式的分解概念及相应的分解算法,在此基础上,本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式,得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式,从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础．