逻辑程序的自动模式推导

本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法,并就其中的别名处理问题和定点计算问题进行了详细的讨论提出了一种正确,有铲的别名自理方法以及基于”护展表“的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。     

Transputer系统上CS—Prolog和CSO—Prolog的实现

Ｔｒａｎｓｐｕｔｅｒ系统成功地应用在数值计算领域，但人工智能这个重要领域因缺乏相应的并行化编程程语言而得不到广泛应用，本文介绍了两种基于Ｔｒａｎｓｐｕｔｅｒ的并行Ｐｒｏｌｏｇ的语言，详细描述了它们的运行机制和在多机系统的实现。     

Prolog语言实用化新进展

一、引言二十年前,一种新型的计算机语言由法国马赛大学首次提出,这就是如今尽人皆知的Prolog。多年来,英国艾丁堡大学在Prolog的理论、实现及推广方面,做出了重要贡献。当然,人们也不会忘记日本所做的大量工作.第五代机计划的实施,在推动和促进Prolog语言及知识处理系统的研究与发展方面所产     

有效的Prolog编译实现方法

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

Pro树与Prolog程序追踪

本文介绍了Ｐｒｏ树的生成规则，并以一个递归程序为例，对追踪过程和由Ｐｒｏ树图解的运行机制进行了详细比较，说明Ｐｒｏ树可作为一种直观，形象，易于理解的辅助工具，用于Ｐｒｏｌｏｇ程序的设计和调试。     

递归Prolog程序的正确性证明

本文提出了一种称为Ｐｒｏ图的图形方法,并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明,文中包括Ｐｒｏ图的基本概念及生成规则,Ｐｒｏ图上各节点的的关系,Ｐｒｏ图的激活过程,并给出了着急递归程序正确性证明的公理和定理。     

基于Turbo PROLOG的面向对象方法

面向对象 (OO)技术是当前计算机界讨论的热点。另一方面 ,知识信息处理正在成为计算机应用的主要领域 ,发展中的基于知识的软件工程也将成为一种关键的软件技术。本文提出一种基于 Turbo PROLOG的 OO程序设计方法学。我们 :(1 )简明地讨论了 OO方法的基本概念和基本要素 ;(2 )给出了在 Turbo PROLOG中实现 OO各要素的规则和方法 ;(3)分析了 OO基本特征在该方法中的体现及存在问题。     

一个MC逻辑及其逻辑程序的语义

本文定义了一个多ｃｏｎｔｅｘｔ逻辑结构。ＭＣＯ在几个方面推广了传统的一阶逻辑：每个ｃｏｎｔｅｘｔ相关一个理论；Ｃｏｎｔｅｘｔ间存在ｏｕｔｅｒ关系；     

逻辑程序的并行性粒度的分析

本文提出了开发逻辑程序ＡＮＤ并行性中的粒度问题，给出了在我们的计算模型下粒度的计算公式，同时还给出了用粒度信息优化执行图表达式的具体例子．     

基于程序插装的动态测试技术实现

动态测试是检测程序的动态行为的一种有效手段,本文介绍了Safepro白盒软件测试工具系列中基于程序插装的动脉测试技术实现,具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术,插装库设计与插装策略等内容。     

软件黑盒测试中SPR的规范化管理方法

在软件开发过程中,对所开发的软件进行测试,是保证软件质量必不可少的手段。黑盒测试方法是在无需了解软件内部逻辑结构的情况下,测试软件是否达到了预期要求。软件质量工程师要根据软件发生缺陷的外在现象提出软件问题报告(SPR),供软件开发工程师参考。本文着重讨论了软件黑盒测试中如何在软件开发工程师和软件质量工程师之间实现规范化信息交流的一种方法。     

一类递归逻辑程序的强构造学习

定义了一类强构造学习问题ＥＲＰ;探讨了以数据驱动方式提高强构造学习系统效率的途径,特别是学习系统的主动采样方式与系统性能的关系;给出了一个效率较高、输入条件基本实用的ＥＲＰ（１）学习算法,该算法原则上可推广到任意ｎ〉１的ＥＲＰ（ｎ）问题。．     

程序正确性测试的相关技术进展

本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。     

近期软件测试工具分析

软件测试工具是软件开发工具中非常重要的一个部分，国外的软件工具开发人员对此已做了大量的工作。本文在此择其若干进行介绍、分析，谨提供给国内的软件工具开发人员参考。