【摘 要】
：
一、引言逻辑程序设计(LP)与函数程序设计是当今两种杰出的、主要的软件新技术。基于它们的语言被称为是两类最主要的和最有前途的说明性超高级语言。这两类语言的一些共同特
论文部分内容阅读
一、引言逻辑程序设计(LP)与函数程序设计是当今两种杰出的、主要的软件新技术。基于它们的语言被称为是两类最主要的和最有前途的说明性超高级语言。这两类语言的一些共同特点是:具有简单良好的数学基础、高度抽象(即非过程性或说明性)、表达能力强。从软件工程的观点看,它们对提高软件生产率、降低高昂的软件开发成本,保证软件质量具有巨大的潜力。实际上,函数式语言就是为了解决“软件危机”由著名的计算机科学家 Backus 加以发展的。但是这两类语言自诞生后,多年来其应用范围虽然在
其他文献
目的探讨游泳对新生儿生长发育的影响。方法将200例足月正常新生儿随机分为观察组（游泳组）100例和对照组（单纯沐浴组）100例，观察两组婴儿出生时及第7天体重和身长情况、睡眠时间、
目的探讨重度妊高征合并胎儿生长受限（FGR）孕妇分娩时机与围生儿结局的关系。方法选择145例重度妊高征合并FGR患者，按孕周大小共分6组，A组28-30^-1孕周、B组30-32^-1孕周、C组32-
<正>作为一种非常重要的人工智能系统构造工具,PROLOG是近十年来被研究得最多一门程序设计语言。当今,围绕PROLOG的研究已经经历由解释实现到编译实现,由顺序
多媒体技术作为现代化教育手段之一,已广泛应用于医学教学中,成为协助教学的重要工具。多媒体教学以形式活泼、信息量大、内容直观、手段新颖、节省板书时间等优势,
干化学法对尿中自细胞的检测是基于粒细胞浆内含有酯酶，酯酶作用于试剂带膜块中的吲哚酚酯，因此它只能测定含有酯酶的粒细胞，对不含酯酶的淋巴、单核细胞不起作用；但是活体的粒细
临床经常遇到缺乏骨科基本知识或不按操作常规施治而出现治疗失效的的病例,给患者造成了不必要的痛苦。我们对2004年9月-2008年5月收治的12例治疗失效的原因进行分析现报道如
目的分析某市12～20岁青少年吸烟危险行为的状况及其影响因素,为预防和控制青少年吸烟行为提供依据。方法使用自行设计的调查问卷进行现场调查,采用SPSS 8.0软件统计分析。结果
我们对2006年1月～2009年1月急诊急救引发的护患纠纷20起的原因进行分析，并提出一些针对性的措施，现报道如下。
机器证明是人工智能的一个重要课题,即用计算机来证明定理,亦称自动证明或定理的机械化证明,其基础是由 Hibert 在1930年奠定的,60多年来历程艰苦,困难在于传统逻辑、三段论
计算机辅助软件工程(CASE)改变着信息系统人员开发系统的方法。本文阐述了传统的系统开发方法是如何随着自动化而变化的,描述一个新的六阶段软件开发方法学—CASE 生命周期—