检索结果-维普期刊中文期刊服务平台

逻辑型语言编译系统的编译子系统: 1; 作者林亨利张海藩《计算机技术》 CSCD 1990年第4期43-49,共7页; 关键词逻辑型语言编译系统; 在线阅读下载PDF 职称材料

状态逻辑型程序设计语言: 2; 作者阎志欣《软件学报》 EI CSCD 北大核心 1994年第10期24-32,共9页; 本文提出了一种新的纯逻辑式子句型程序设计语言．文中给出了语言的语法，非形式语义，子句的过程解释和基于约束归结的推理系统．对该语言来说，程序包含三类变量：输入变量，输出变量和用于控制机器资源的程序变量；被程序定义的函数... 展开更多; 关键词程序设计程序语言状态逻辑逻辑型语言; 在线阅读下载PDF 职称材料

程序设计语言的现状与发展趋势被引量：1: 3; 作者田艳高集荣《统计与信息论坛》 1997年第2期61-64,共4页; 文章论述了第三代计算机程序设计语言中的新型程序设计语言，即函数型语言、逻辑型语言和面向对象型语言，阐述了各类语言的特点及与传统语言的区别，同时还介绍了极具发展的第四代程序设计语言４ＧＬ及其特点。这对程序设计语言的使用... 展开更多; 关键词程序设计语言函数型语言逻辑型语言面向对象型语言 4GL; 在线阅读下载PDF 职称材料

专家系统工具HEST 的编译器设计: 4; 作者郝继刚高峰 +1 位作者黄厚宽王兆其《哈尔滨船舶工程学院学报》 EI CAS CSCD 1993年第2期56-63,共8页; HEST是一个汉化编译型集成式的专家系统工具,在IBMPC及其兼容机上运行.它提供的逻辑/函数型通用知识表达语言,是融合了函数程序设计风格的编译型PROLOG语言.本文主要介绍:PROLOG语言的语义、语法扩充,主要是函数定义、函数调用和表达式... 展开更多; 关键词专家系统逻辑型语言编译码器; 在线阅读下载PDF 职称材料

题名逻辑型语言编译系统的编译子系统: 1; 作者林亨利张海藩; 出处《计算机技术》 CSCD 1990年第4期43-49,共7页; 关键词逻辑型语言编译系统; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名状态逻辑型程序设计语言: 2; 作者阎志欣; 机构北京航空航天大学计算机科学与工程系; 出处《软件学报》 EI CSCD 北大核心 1994年第10期24-32,共9页; 基金国家863高技术项目; 文摘本文提出了一种新的纯逻辑式子句型程序设计语言．文中给出了语言的语法，非形式语义，子句的过程解释和基于约束归结的推理系统．对该语言来说，程序包含三类变量：输入变量，输出变量和用于控制机器资源的程序变量；被程序定义的函数符号可用于构造项或子项，并且还可用作为谓词符号；不需要低效的最广合一．由于这些因素，一个子句集本身隐含了顺序，分支，迭代和递归多种控制结构使得容易构造高效的定理证明系统．这种语言将是一种有坚实理论基础的，高效的，实际有用的高级确定性语言．; 关键词程序设计程序语言状态逻辑逻辑型语言; Keywords State logic language, call rule, splitting function call, constraint resolution,determinism.; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名程序设计语言的现状与发展趋势被引量：1: 3; 作者田艳高集荣; 机构西安统计学院西北工业大学; 出处《统计与信息论坛》 1997年第2期61-64,共4页; 文摘文章论述了第三代计算机程序设计语言中的新型程序设计语言，即函数型语言、逻辑型语言和面向对象型语言，阐述了各类语言的特点及与传统语言的区别，同时还介绍了极具发展的第四代程序设计语言４ＧＬ及其特点。这对程序设计语言的使用者、研究者、设计者和实现者都具有一定参考价值。; 关键词程序设计语言函数型语言逻辑型语言面向对象型语言 4GL; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名专家系统工具HEST 的编译器设计: 4; 作者郝继刚高峰黄厚宽王兆其; 机构哈尔滨船舶工程学院计算机系哈尔滨船舶工程学院计算机与信息科学系; 出处《哈尔滨船舶工程学院学报》 EI CAS CSCD 1993年第2期56-63,共8页; 文摘 HEST是一个汉化编译型集成式的专家系统工具,在IBMPC及其兼容机上运行.它提供的逻辑/函数型通用知识表达语言,是融合了函数程序设计风格的编译型PROLOG语言.本文主要介绍:PROLOG语言的语义、语法扩充,主要是函数定义、函数调用和表达式计算;对WARREN抽象机数据结构、指令的增加和修改;编译器的主要构成模块和运行流程;语言语法结构编码的七条定义规则,并在附录中给出了编译实例.; 关键词专家系统逻辑型语言编译码器; Keywords expert system tool logic language functional language, WARREN abstract machine compiler; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料