【摘 要】
：
<正> 一、引言大多数传统的程序设计语言本质上都是以赋值为核心并且基于显式控制流的计算式语言(如PASCAL和C)。这种风格的程序语言是针对von Neumann体系结构的。计算机应
论文部分内容阅读
<正> 一、引言大多数传统的程序设计语言本质上都是以赋值为核心并且基于显式控制流的计算式语言(如PASCAL和C)。这种风格的程序语言是针对von Neumann体系结构的。计算机应用的重点正在由数值处理转移到非数值信息处理,而von Neumann机器以及相应的程序语言在非数值处理(比如说符号推理)应用中的缺点是人所共知的。逻辑编程语言就是基于(一阶谓词)逻辑(及其变种)或其子集(如Horn子集)的计算机语言。它是一种以(符号)模式匹配为核心,没有(或很少有)显式控制流的推理式语言。逻辑程序设计最初提出主要是针对软件工程考虑,后来日本决定来用逻辑语言作为其新一代计算机结构(即第五代机)的核心语言(PRO-
其他文献
进入本世纪以来，世界上发生的几次较大规模的局部战争，无不弥漫着法律的硝烟，各方剑拔弩张，展开激烈的法理较量。作为一名军事法学的硕士研究生，笔者也一直期冀着寻找一片领域，能将
在刑法理论上，敲诈勒索罪与诈骗罪都属于侵犯财产罪，区分两罪难度不是很大。但是，当行为人以欺诈的手段实施敲诈勒索时，认定起来就比较困难，理论上存在诸多争议。在司法实践中，行为
女权主义法学是二十世纪六十年代第二次妇女运动浪潮的产物。女权主义者在从阶级、国家、性别、暴力、就业、教育、堕胎等各个方面的分析和批判现存法律制度的过程中,女权主
创设问题情境是高中化学教学活动开展的重要方式,能够实现对学生化学核心素养的培养。在创设情境时,教师需要遵循一定的原则,通过对当前教学活动中存在的问题进行分析,能够更
随着城市空巢老人的心理问题的不断出现，学术界逐渐开始关注这个特殊的群体。目前我国关于孤独感的研究已有一定的进展，但是针对城市空巢老人孤独感的研究仍刚刚起步，且主要采用
随着西方新马克思主义和社会主义研究运动的悄然升温,在西方心理学中又崛起了许多马克思主义的研究流派。在20世纪80年代以前主要盛行着精神分析马克思主义、人本心理学马克
“政法传统”常被作为我们现实生活中诸多法律现象背后的体制背景与运作逻辑。既有研究表明：“政法传统”源于苏维埃根据地、形成于陕甘宁边区时期（以“马锡五审判方式”为标志
教师从事教学工作的经验中,会发现有不少反复讲解、多次强调的概念,学生能够靠死记硬背完整复述,却无法用它们来解决问题；或者在某个情境下学生可以应用的概念,变换情境学生就
本文根据生命科学和健身理论知识,结合服装表演男模的生理特点和心理特点,运用运动处方教学对服装表演专业男模健身健美课程实施科学锻炼,即在健身健美课程教学中采用学生在
为了适应现代大规模电力系统的需要,建设坚强精准的通信系统,现代电力系统中采用光纤复合架空地线(OPGW)作为一侧架空地线的现象越来越普遍。然而,在电力系统发生故障或遭受