递归Prolog程序的正确性证明

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

计算机应用与企业管理

简明地叙述了在大型发电设备制造企业,用计算机进行企业管理的特点,应带来的经济效益及使用中应注意的问题。     

逻辑电路模型程序的PRO树图解

PROLOG语言由于有参量械匠功能而适用于逻辑电路的模拟。PRO树是一种有铲的理解PROLOG程序的辅助工具，用PRO树图解模拟程序将使逻辑电路模拟的概念更清楚。     

程序结构图及其应用

流程图是传统的程序工具,但流程图有许多缺点,结构不清楚,修改与增删较麻烦,框图与程序的对照关系不明显。本文提出了一种新的框图——程序结构图,具有结构清晰,修改与增删容易,框图与程序对照关系显著等优点。此外,这种框图画法简单,图面整齐,进行程序没计时方便与自然。特别是因为它的结构与COBOL程序结构完全一致,所以特别适用于用COBOL 言进行数据处理的程序设计。     

热管性能测试系统的软件设计

本文介绍热管测试系统的基本组成，热管测试的主要技术，并以风冷实验台为例详细说明了该系统的软件设计与实现，以及该软件的某些特点。     

数据库技术与企业管理

叙述了大型电机制造厂处数据理的特点、内容、数据库的数据模型及数据库的应用前景。指出了数据库技术在现代化企业管理中的重要作用。     

递归Prolog程序终止问题的探讨

本文用Ｐｒｏ图的方法讨论了递归Ｐｒｏｌｏｇ程序的终止问题。其中包括Ｐｒｏ图的概念和Ｐｒｏ图的状态序列及递归程序的终止问题。使用本文的方法可为调试程序提供足够的启示。     

PROLOG运行机制的辅助理解工具

用表意图形的方法研究了人工智能语言ＰＲＯＬＯＧ的各种语法成份，找出一套有效的辅助理解工具，它能准确清晰地图解ＰＲＯＬＯＧ程序，如目标和子句，谓词ＦＡＩＬ和回溯，以及截断谓词等内容。文中特别用两个例子详述了在ＰＲＯＬＯＧ语言中最难理解的递归过程。最后，简述了矩形表示法，该工具的图册和配套的图形动画软件。     

关于“编程规范”的补充

编程规范化不仅加快软件开发的速度,而且增强软件的可维护性。文在这方面做了很确切的阐述。本文对再做几点补充,介绍我们在软件开发中的体会。     

一种用Pro树测试和辅助设计Prolog程序的方法

按着Ｐｒｏｌｏｇ语言创立者Ａｌａｉｎ Ｃｏｌｍｅｒａｕｅｒ的思路＾［２］，本文提出一种称为Ｐｒｏ树的图形方法。它既可用于程序的理解＾［６］，又可用于程序的测试和辅助设计。文中包括该方法的生成规则，各节点及谓词参量间的关系等内容，并以实例说明了Ｐｒｏ树的应用。