一种函数式语言到PROLOG的转换技术

定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统．     

决策支持工具MV—PROLOG系统的设计与实现

在 ＭＶ系列机上实现的 ＭＶ－ＰＲＯＬＯＧ系统是为建立企业决策支持系统提供知识处理工具而设计的。为了提高系统的运行效率和实用性．在实现上采用了内码表示、结构共享、智能回溯、预匹配以及尾递归等多项措施。在设计上．本系统特别注重与环境的连接和通讯。为此，系统用ＣＯＢＯＬ语言编写，以便于与ＭＩＳ或其他系统软件（ＤＢＭＳ和高级语言等）通讯。     

Knowledge-based manpower planning

The capacity performance of knowledge-based systems differs essentially from the one of traditional systems. The result is that already today these systems are employed in a number of application areas, and that the intensity of research and development in this field is very high.In this paper the development of a knowledge-based manpower planning system (KBMS) is described. The two main components of this system are a knowledge-based system developed for management planning and a model designed for manpower planning in personnel leasing companies. This model was realized as a KBMPS by applying the knowledge-based system, which was developed for management planning.     

甾体药物薄层色谱分析数据库

利用ＴＵＲＢＯＰＲＯＬＯＧ程序设计语言,建立了一个甾体药物薄层色谱分析数据库,收集了中国药典一九九０年版、英国药典一九八八年版及美国药典第二十二版中甾体原料药及其制剂的薄层色谱数据,为甾体药物的薄层色谱分析提供了方便。     

一种对PROLOG进行矛盾检测的算法

本文首先介绍了PROLOG检测工具的研究现状，作者针对PROLOG语言的特点，提出了一种对PROLOG进行矛盾检测的算法，并用Turbo C语言实现了该算法，该算法作为一种PROLOG检测工具已被合并到Rurbo PROLOG系统盘中。     

PROLOG程序和知识库系统

第五代计累机是智能计算机系统,它是以处理知识为目标的,知识库是它的关键环节之一,所以知识库系统的研究引起了广泛的兴趣。本文通过数据库,知识库和PROLOG程序之间的对比,阐明了PROLOG程序具有知识库系统的基本功能,认为在PROLOG语言的基础上开发知识库系统是可行的。     

企业经营战略管理专家系统的设计与实现

使用ＰＲＯＬＯＧ程序设计语言,推理机采用逆向推理方式,构造了一个经营战略管理专家系统。系统作为一种较好的方法和工具,用以辅助企业决策者作出正确的战略造反保障企业长期稳定的发展。