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

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

PROLOG及构成其子句的方法

计算机程序设计语言PROLOG可看作迈向“逻辑程序设计”的第一步。它自从七十年代初问世以后,便在人工智能的许多领域中得到应用。本文阐述了PROLOG的主要特点。匹配归结、回溯和cut控制等,并介绍了应用PROLOG程序将谓词公式转换为Horn子句的过程。     

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

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

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

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

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

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

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

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

中国文化典籍英译的不等值性和不可译性——以陶渊明的《五柳先生传》的五个英译本为例

在翻译中,就翻译的等值性与不等值性,可译性和不可译性的争论由来已久。特别是中国文化典籍的翻译,由于翻译的特殊性(包括语内翻译和语际翻译两个过程),以及原语和译入语的在语法、文化等方面的差异性,翻译中的不等值和不可译的情况尤为突出。在此以陶渊明的《五柳先生传》为例,从中国古文翻译过程、汉英两种语言和文化的不对等两方面,具体讨论了中国古文翻译中的不等值性和不可译性。     

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

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

浅析翻译过程中语言与文化的不可译性

在翻译过程中语言的不可译性是绝对的,而文化的不可译性则是相对的。在特定的条件下,文化上的不可译性可以转化为可译性。从表象上看,文化的不可译性比语言的不可译性更具有可操作性和可转换性。其实语言的不可译性比文化的不可译性能引发更为复杂的状况。     

Open64源源翻译流程研究

源源翻译是一种有用的编译基础设施,它将高级语言程序转换为语义等价的可再编译的高级语言程序.越来越多的编译器包含源源翻译模块.和其它模块相比,Open64源源翻译模块还不够健壮.为了更好地解决源源翻译过程中出现的问题,首先研究了Open64的中间表示whirl,然后研究了Open64的源源翻译流程,最后通过测试说明源源翻译的重要性.     

智能CAD系统CFPES中的接口技术

接口是开发智能CAD系统中的关键技术。作者以Prolog语言为开发环境开发了复合材料纤维缠绕线型智能CAD系统CFPES,成功地解决了有关的接口问题。在此基础上,本文对CFPES系统中涉及的Prolog语言与FORTRAN、BASIC批处理命令,汇编语言之间的程序接口,各模块之间的数据接口以及Prolog与操作系统、编辑软件、图形软件之间的交互接口进行归纳分析。     

图论应用问题算法语言与直观求解软件

该文把图论中的有关工程应用问题用图示语言的观点进行解释和分类;定义了一种描述图论中某些工程问题求解的算法语言(称之为图论问题算法语言或者ALG);设计了自动地把ALG程序转化为PASCAL程序的软件工具——STATP(Software Tool to Translate the ALG Porgram to Pascal Program)。生成的PASCAL程序在运行时,只需用户输入应用问题的图形(即图形模型),就能在计算机上直接给出问题的解答。因此它是一种直观求解的软件。     

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

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

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

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

混凝土结构计算机辅助测试系统

本文介绍“混凝土结构计算机辅助测试系统”的系统设计与实现。该系统是以ＧＢＪ１０－８９实施以来各院校正式试题为背景建立的混凝土结构计算机辅助测试系统。该系统的实现，对于提高混凝土结构课程的教学质量无疑是有裨益的。该系统采用ＴｕｒｂｏＰＲＯＬＯＧ和ＴｕｒｂｏＣ混合编程，以ＵＣＤＯＳ３．０作为操作系统在微机上实现。     

一个智能编程系统

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

PASCAL美化程序的设计与实现

本文介绍一个能自动产生优美格式的程序,此程序能用于把不规范的PASCAL程序进行美化,使之变成规范的、有一定格式的程序。     

HJGY-Y5焊接工艺专家系统

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

边坡稳定性优势面理论分析评价专家系统

以优势面理论为依据，通过对工程地质领域知识的整理，利用逻辑推理语言ｐｒｏｌｏｇ，研制出了用以对各类边坡稳定性进行定性和定量分析与评价的专家系统。