%0 Journal Article
%T STATE LOGIC PROGRAMMING LANGUAGE<br>状态逻辑型程序设计语言
%A Yan Zhixin
%A <br>阎志欣
%J 软件学报
%D 1994
%I 
%X 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.
%K State logic language
%K call rule
%K splitting function call
%K constraint resolution
%K determinism<br>状态逻辑语言，调用规则，分裂函数调用，约束归结，确定性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=91C834D37D431B44907A08EEF019C2EE&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=F3090AE9B60B7ED1&sid=B91E8C6D6FE990DB&eid=9971A5E270697F23&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=10