TP TO P——从PASCAL语言到PROLOG语言的转换方法

<正> 引言随着第五代计算机研究的深入,PROLOG 语言越来越引起人们的重视。日本把PROLOG 定为第五代机的核心语言,已经制造出了基于逻辑推理的 PROLOG 机,美、英等世界计算机大国也在积极进行这方面的研究。PROLOG 语言在专家系统、自然语言处理、数据等许多领域已经得到了应用。在第五代机上,主要是以 PROLOG 为核心的逻辑推理运算,其控制结构和数据结构与过程型高级语言完全不同。这就产生了如何把过程型高级语言程序移植到第五代机     

PROLOG语言的特点及其用LISP语言的实现

本文介绍了新颖的逻辑编程语言即 PROLOG 语言的特点,以及在PDP11机上使用 LISP 语言实现简易的 PROLOG 语言的方法。该 PROLOG 系统,已在84年研究生教学中使用,对 PROLOG 教学有很大实用价值。是在 PROLOG尚未普及之前,对 PROLOG 功能的一种有益的尝试。     

一个用于软件生产自动化的VDM元语言编译系统

讨论了C-Meta-Ⅳ的设计方案,介绍了已实现部分的效果。C-Meta-Ⅳ是一个用于系统软件和应用软件自动化生产的VDM元语言编译系统。该系统以智能语言PROLOG为中间语言,可将用Meta-Ⅳ书写的软件规范说明自动翻译为可执行高级程序设计语言(如PASCAL)的程序。其优点是:从Meta-Ⅳ到PROLOG的翻译比直接翻译为过程性语言容易;从PROLOG到过程性语言的翻译可利用优化技术以提高目标程序的效率。     

DSS中模型的自动机表示方法

自动机理论是作为离散自动装置和计算机理论模型建立的 .通过研究 ,抽象定义 :模型是一个有限自动机 .为了在计算机中实现模型的自动机表示 ,选用了PROLOG语言 .一个模型用一个或多个谓词来描述 ,把它们存放在PROLOG系统的动态数据库中 ,然后用推理机进行求解 .本方法的创新之处在于把自动机的合成与简化理论应用到模型表示中 ,把人工智能技术应用到模型管理中 .     

PROLOG的推理机制

本文运用数理逻辑的基本理论,对PROLOG的推理机制进行了深入、详细的分析。对实用的PROLOG系统为了提高运行效率,而采用的措施所引起的副作用也进行了讨论。     

一个英汉机器翻译实验系统的设计

在分析目前国内外机器翻译系统的技术和方法的基础上,本文提出了适合于以电力科技英语为翻译对象的英汉机器翻译实验系统的设计方法,即以定子句语法和格语法为基础进行算法设计。利用人工智能语言 PROLOG 加以实现。     

专家系统工具HEST 的编译器设计

HEST是一个汉化编译型集成式的专家系统工具,在IBMPC及其兼容机上运行.它提供的逻辑/函数型通用知识表达语言,是融合了函数程序设计风格的编译型PROLOG语言.本文主要介绍:PROLOG语言的语义、语法扩充,主要是函数定义、函数调用和表达式计算;对WARREN抽象机数据结构、指令的增加和修改;编译器的主要构成模块和运行流程;语言语法结构编码的七条定义规则,并在附录中给出了编译实例.     

在扩展PROLOG中函数和面向对象的程序设计

论述了逻辑、函数和面向对象程序设计语言的差别和联系,提出了PROLOG语言的元级扩展,讨论了在此系统中函数和面向对象程序设计的实现方法.从程序设计方法学的观点看,此系统展现了多种程序设计风格,是逻辑、函数和面向对象程序设计模式的结合.     

FRP纤维缠绕张力专家系统的设计研究

本文介绍了以PROLOG语言为工具进行纤维缠绕张力专家系统的设计研究内容。文中侧重介绍张力专家系统的驱动系统梗概、动态数据库的功能及其管理,并对该专家系统作了一定的验证,获得了较为满意的结果。     

一种基于管理信息系统的知识获取方法

本文从工人智能与数据库技术结合的角度出发,提出一种以管理信息系统(MIS)的数据为知识源的知识获取方法。使得我们能在此基础上建立有效的专家系统。本文使用了在人工智能中广泛应用的 PROLOG语言,实现了从 MIS 的数据文件到 PROLOG 事实库之间的转换,并以本文提出的转换方法,建立了一个图书分类统计与检索的专家系统。     

精馏过程专家系统用数据库系统的设计与实现

化工物性数据内容庞杂，数据库的设计是化工软件的重点和难点，本文提出一种用TUR－BO PROLOG语言外部数据库在于磁盘的数据库管理系统的设计方法，解决了数据库庞大与微型机内存不够的矛盾，通过接口计算模块可方例地从本数据库中调用数据；实现了友好的用户界面，提高了数据库管理的效率和透明性。     

钢筋混凝土肋梁楼盖优化设计计算机辅助教学系统RCCAI

本文介绍一个“钢筋混凝土结构设计”智能化计算机辅助教学系统的构思和实现.现阶段,教学内容暂限于整体式单向板肋梁楼盖的设计,但其构思与实现可适用于钢筋混凝土结构计算机辅助教学的多个领域.该系统选用基于一阶谓词逻辑的Turbo PROLOG 2.0版本作为程序设计语言,在UCDOS支持下,在LEO 286微机上实现.     

二级推理数据库系统的语义

本文设计并实现了一个二级推理数据库系统.二级推理数据库是传统的数据库系统和PROLOG系统的结合,它可分为二级:数据库级及逻辑程序级.本文给出了二级推理数据库的抽象模型及逻辑语义.重点形式化地描述了语义特性,还讨论了二级推理数据库系统的冗余性、可分辨性及并发性,并得出了一些有意义的结果.     

PROLOG的说明性语义和过程性语义之间的循环论证

对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。认为这两种语义之间存在循环论证,它反映了数理逻辑的模型论和证明论之间的循环论证。     

用turbo PROLOG语言建立红外光谱解析专家系统初探

本文在用turbo PROLOG语言建立红外光谱解析专家系统方面作了可行性研究.该专家系统的知识库由产生式规则集组成,并得出了有效可行的推理过程。在红外光谱解析方面,该系统比较先进,也可应用于计算机辅助红外光谱解析的教学。     

定理证明在故障自动诊断领域的应用

介绍一个用PROLOG技术构造的定理证明系统。它以逻辑电路板仪器的描述、实验数据及假设为基础,实现对逻辑电路板(仪器)的故障自动诊断,证明某一元器件是否正常。     

一个基于逻辑的多目标优先级排列专家系统MOPSES

鉴于多目标优化决策中目标优先级确定的困难,本文尝试用专家系统(ES)来辅助决策者确定优先级顺序.系统以企业经营决策,计划编制为对象,构造了一个目标规划模型的优先级排列ES,文中较详细阐述了系统的设计思想,结构,原理及具体实施.系统使用TURBO PROLOG语言开发,用户界面采用全屏幕多窗口下拉菜单.该系统在带有CH卡的IBM-pC兼容机上实现,操作系统为GWBIOS.由于能在一屏幕上显示25行汉字和十分友好的用户界面,使用该系统非常方便.     

HJGY—Y5焊接工艺专家系统

采用TURBO PROLOG语言编制成功HJGY－Y5焊接工艺专家系统，该系统具有咨询，调入，建立，修改扩充知识库，调阅，修改工艺文件,建立说明（帮助）文本，进入DOS等功能，人机接口友好简单，操作容易。     

一个智能编程系统

为实现编程智能化,作者将人工智能技术与信号处理技术相结合,借助于编译型PROLOG语言,利用已有的信号分析软件,在IBM—PC机上实现了一个智能编程系统。该系统可自动完成信号分析方法的选择,执行程序的生成及运行。它具有简明易懂、操作方便的特点,用户开发和扩充也很方便。     

水资源保护专家系统POW

本文介绍用Turbo PROLOG写成的知识库专家系统POW(Protection of Water)。它可以协助环境工程师评价水体的质量,从而可以用来鉴别某一水体当前是否存在这样那样的问题。此外,POW可以用来搜索主要污染源,协助管理部门监督控制水污染,有效地警戒任何超标排放。