状态逻辑型程序设计语言

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

STATE LOGIC PROGRAMMING LANGUAGE

A new pure logical language in clausal form was presented. The syntax, informal semantics, procedural interpretation of clauses and inference system based on constraint resolution were given. In this language, programs contain three types of variables:input variables, output variables and program variables to control resources of the computer; function symbols defined by programs can constitute terms or subterms and can be used as predicate symbols i the most general unification which is inefficient is not needed.According to these factors, programs implicate sequential, branched, iterative and recursive controls and it is easy to constitute efficient theorem-proving systems. It is believed that this language is a efficient, useful and practical, high-level, deterministic programming language with sound theoretical foundation.