状态逻辑型程序设计语言

本文提出了一种新的纯逻辑式子句型程序设计语言．文中给出了语言的语法，非形式语义，子句的过程解释和基于约束归结的推理系统．对该语言来说，程序包含三类变量：输入变量，输出变量和用于控制机器资源的程序变量；被程序定义的函数符号可用于构造项或子项，并且还可用作为谓词符号；不需要低效的最广合一．由于这些因素，一个子句集本身隐含了顺序，分支，迭代和递归多种控制结构使得容易构造高效的定理证明系统．这种语言将是一种有坚实理论基础的，高效的，实际有用的高级确定性语言．

程序设计语言的现状与发展趋势

文章论述了第三代计算机程序设计语言中的新型程序设计语言，即函数型语言、逻辑型语言和面向对象型语言，阐述了各类语言的特点及与传统语言的区别，同时还介绍了极具发展的第四代程序设计语言４ＧＬ及其特点。这对程序设计语言的使用者、研究者、设计者和实现者都具有一定参考价值。

程序设计语言分类探讨

从4个角度对种类繁多的程序设计语言进行了分类,并对不同类型的程序设计语言的特点、应用和现状作了探讨,尤其对按程序设计范型分类的各种语言作了较详细的阐述,对读者全面了解、认识和选择最佳程序设计语言提供了一定的帮助。

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

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