###
DOI:
Journal of Software:1994.5(10):24-32

状态逻辑型程序设计语言
阎志欣
(北京航空航天大学计算机科学与工程系,北京 100083)
STATE LOGIC PROGRAMMING LANGUAGE
Yan Zhixin
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2786   Download 5573
Received:March 16, 1993    
> 中文摘要: 本文提出了一种新的纯逻辑式子句型程序设计语言.文中给出了语言的语法,非形式语义,子句的过程解释和基于约束归结的推理系统.对该语言来说,程序包含三类变量:输入变量,输出变量和用于控制机器资源的程序变量;被程序定义的函数符号可用于构造项或子项,并且还可用作为谓词符号;不需要低效的最广合一.由于这些因素,一个子句集本身隐含了顺序,分支,迭代和递归多种控制结构使得容易构造高效的定理证明系统.这种语言将是一种有坚实理论基础的,高效的,实际有用的高级确定性语言.
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家863高技术项目 国家863高技术项目
Foundation items:
Reference text:

阎志欣.状态逻辑型程序设计语言.软件学报,1994,5(10):24-32

Yan Zhixin.STATE LOGIC PROGRAMMING LANGUAGE.Journal of Software,1994,5(10):24-32