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

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

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

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

使用工作站网络并行执行prolog程序

本文介绍了一个在ＳＵＮ工作站网络上实现的分布式Ｃ—ＰＲＯＬＯＧ解释系统ＤＣ－ＰＲＯＬＯＧ，它能够自动地将其应用程序的顺序解释过程变为并行解释过程；能够充分利用空闲的主存资源求解大问题，使一些单机上因内存容量不足而无法执行的任务得以执行．     

SC-PROLOG解释系统中的约束逻辑程序设计方法

约束逻辑程序设计（ＣＬＰ）方法是提高ＰＲＯＬＯＧ语言效率的一种崭新方法，本文针对ＳＣ┐ＰＲＯＬＯＧ解释系统的实现介绍其相应设计思想，从域变量含义入手，提出了域及约束的存储方法以及约束机制的实现算法，是对逻辑设计方法研究的一点体会     

PROLOG语言计算机网络环境下的开发与应用

本文讨论了分布式计算机系统中进程通信的一种机制－远程过程调用的设计与实现。在此基础上，将ＲＰＣ机制扩充到ＰＲＯＬＯＧ语言中，使该语言具有网络通信能力，初步实现了计算机局域网络环境下ＰＲＯＬＯＧ语言的应用，为分布式专家系统的程序实用于网络探索新路。     

一种基于PROLOG的ES建造工具库的研究与实现

本文描述了一种基于ＰＲＯＬＯＧ的专家系统建造工具库ＰＴＥＳ的实验系统。ＰＴＥＳ是用ＰＲＯＬＯＧ编写的，该系统根据支持基于规则的知识表示及近似推理对ＰＲＯＬＯＧ的知识处理能力进行了扩充。ＰＴＥＳ的推理机制使用了可能性能逻辑及模糊集合理论作为其逻辑基础，并以一种形式化的方法提供了处理非确定事实及非确定规则的能力。     

PROLOG语言在计算机网络环境下的开发与应用

本文讨论了分布式计算机系统中进程通信的一种机制──远程过程调用（ＲＰＣ）的设计与实现。在此基础上，将ＲＰＣ机制扩充到ＰＲＯＬＯＧ语言中，使该语言具有网络通信能力，初步实现了计算机局域网络环境下ＰＲＯＬＯＧ语言的应用，为分布式专家系统的程序实用于网络探索新路。     

一种基于PROLOG的ES建造工具库的研究与实现

本文描述了一基于ＰＲＯＬＯＧ的专家系统建造工具库ＰＴＥＳ的实验系统。ＰＴＥＳ是用ＰＲＯＬＯＧ编写的，该系统根据支持基于规则的知识表示及近似推理对ＰＲＯＬＯＧ的知识处理能力进行了扩充。ＰＴＥＳ的推理机制使用了可能性逻辑及模糊集合理论作为其逻辑基础并以一种形式化的方法提供了处理非确定事实及非确定规则的能力。     

连接PROLOG与DBMS系统的专用,并行通信技术

在结合ＰＲＯＬＯＧ和ＤＢＭＳ技术的研究领域中，一个关键的问题是效率，而解决这个问题的基本关键之一是每次ＰＲＯＬＯＧ与ＤＢＭＳ系统间通信的代价。我们提出了专用，并行通信技术大大地降低了每次通信的开销，使这一问题基本获得解决。我们提出的这一技术还为实现ＰＲＯＬＯＧ与多个，多种和分布式数据库连接奠定了基础。     

PROTEL电子CAD软件包汉字输入的实现及其绘图功能的开发应用

ＰＲＯＴＥＬ电子ＣＡＤ软件包汉字输入的实现及其绘图功能的开发应用邢观峰福州大学１２９０１信箱（３５０００２）１引言ＰＲＯＴＥＬ（简称ＰＴ）电子ＣＡＤ软件包是澳大利亚ＰＲＯＴＥＬＴＥＣＨＮＯＬＯＧＹ公司推出的多层印制板辅助设计软件，它保持了对ＴＡＮＧＯ...     

用GAL器件对EPROM软件加密的方法

通用阵列逻辑ＧＡＬ器件的功能特点，ＥＰＲＯＭ程序的加密原理，以及利用ＧＡＬ器件对ＥＰＲＯＭ软件进行加密的方法。     

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

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

用可编程控制器实现BEPC安全联锁系统——PLC在测控系统中…

本文介绍一种设计安全联锁系统的新方法，它的基本思想是采用可编程控制器（ＰＲＯＧＲＡＭＭＡＢＬＥ ＣＯＮＴＲＯＬＥＲ或ＰＲＯＧＲＡＭＭＡＢＬＥＬＯＧＩＣＣＯＮＴＲＯＬＬＥＲ－ＰＬＣ）替代过去的继电器和逻辑的控制，组成分布系统，以提高要靠性和可维护性，增加灵活性，缩短工期，节省人力和资金，一台多媒体ＩＢＭ－ＰＣ兼容机有作业上位机，监控整个系统。     

基于PROLOG语言的数字电路逻辑模拟

文章阐述了ＰＲＯＬＯＧ语言在数字电路逻辑模拟中的应用,通过一些具体电路说明ＰＲＯＬＯＧ语言用于对门级和功能块级电路的描述及模拟的便利之处,对不同的电路采用不同的方法,ＰＲＯＬＯＧ语言的灵活性和推理技术,为逻辑模拟提供了新的技术和手段。     

用可编程控制器实现BEPC安全联锁系统——PLC在测控系统中的应用

本文介绍一种设计安全联锁系统的新方法，它的基本思想是采用可编程控制器（ＰＲＯＧＲＡＭＭＡＢＬＥＣＯＮ－ＴＲＯＬＬＥＲ或ＰＲＯＧＲＡＭＭＡＢＬＥＬＯＧＩＣＣＯＮＴＲＯＬＬＥＲ—ＰＬＣ）替代过去的继电器和专用逻辑的控制，组成分布式系统，以提高可靠性和可维护性，增加灵活性，缩短工期，节省人力和资金。一台多媒体ＩＢＭ－ＰＣ兼容机用作上位机，监控整个系统。     

KBASE—P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言。ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行Ｉ／Ｏ和ＤＢ更新操作（用扩充的内部谓词）。由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言。ＫＢＡ     

逻辑程序并行推理机EC—PIM的系统设计与实现

本文介绍面向逻辑程序的并行推理机系统ＥＣ－ＰＩＭ。它以逻辑程序设计语言ＰＲＯＬＯＧ为核心，以硬件、软件两方面结合的方式直接实现以ＰＲＯＬＯＧ所描述的推理任务，系统设计基于Ｅａｒｌｅｙ算法，ＶＬＳＩ技术以及适当的系统结构及部件的设计方案，在提出并行推理机及其概念模型的前提下，作出ＥＣ－ＰＩＭ体系结构的设计包括互连结构，公共存储器系统的设计方案，并成功地实现了双八路二级并行逻辑推理模拟机的研制。     

用EPROM芯片与GAL器件对软件加密

对软件加密是保护软件开发者合法权益的措施之一，而软件加密的方法又有许多种，在此，探讨一种用ＥＰＲＯＭ芯片与ＧＡＬ器件对应用软件进行加密的方法。     

α—β剪枝算法在优化模型PROLOG推理过程中的应用

本文首先介绍了一个模糊ＰＲＯＬＯＧ系统Ｆｕｚｚｙ－Ｐｒｏｌｏｇ的推理机制，然后提出以α－β剪枝算法来优化Ｆｕｚｚｙ－Ｐｒｏｌｏｇ的推理过程，并详细描述了所实现的α－β剪枝算法。     

α－β剪枝算法在优化模糊PROLOG推理过程中的应用

本文首先介绍了一个模糊ＰＲＯＬＯＧ系统Ｆｕｚｚｇ－Ｐｒｏｌｏｇ的推理机制，然后提出以α－β剪枝算法来优化Ｆｕｚｚｙ－Ｐｒｏｌｏｇ的推理过程，并详细描述了所实现的α－β剪枝算法。