论文部分内容阅读
Prolog语言是基于一阶谓词逻辑的Horn子句，其丰富的表达能力极大地促进了知识处理、专家系统等应用领域的进一步发展。对Prolog语言的语法及数据结构进行了简单介绍，归纳出Prolog语言的主要特征，并以具体实例说明了它的程序结构。
Prolog语言的开发与研究
【摘 要】
：
Prolog语言是基于一阶谓词逻辑的Horn子句，其丰富的表达能力极大地促进了知识处理、专家系统等应用领域的进一步发展。对Prolog语言的语法及数据结构进行了简单介绍，归纳出Prol
【机 构】
：
宁夏大学数学与计算机学院
【出 处】
：
软件导刊
【发表日期】
：
2008年9期
其他文献
针对当前网络教育中缺乏有效的学习指导和网络安全问题的严重形势，设计了一种基于移动Agent智能导学系统模型，有效地解决在线指导所引发的网络带宽、网络延迟及网络安全等问题
1池塘条件虾塘面积8×667m^2～10×667m^2，长方形，东西向，水深2．0m左右，池底平坦，淤泥较少，池塘两端设进排水渠。水源充足，水质良好，排灌方便，每个池塘配箭3kW增氧机两台。
目的对普外科护理带教过程中应用临床路径教学模式后的教学效果进行分析。方法将该院2018年8月—2019年7月收入的42名外科护理实习生作为研究对象,根据临床带教模式进行分组,
目的评价血必净注射液辅助治疗慢性阻塞性肺疾病急性加重期(AECOPD)患者的临床效果、运动耐力及对血清炎性介质和细胞免疫功能的影响。方法选取2016年6月—2020年6月就诊的19
针对高校校园网安全方面所存在的问题，给出了增强网络安全意识，建立安全管理制度、安装安全软件及防火墙、开展大学生网络技术和网络道德教育等具体的安全措施，为高校校园网的建
大规模生产太平洋蓝鳍金枪计划的最后一步是在日本长崎陆地设施的建设，这些设施将由日本国家研究机构在2013年年中运行，每年生产100000条幼年蓝旗金枪鱼，通过完整的水产养殖方式
在嵌入式调试工具的开发过程中，能够向第三方产品提供商提供扩展接口的功能，这是系统可重用的关键所在。本文对Eclipse插件机制及其扩展点技术进行了深入研究，并应用于嵌入式调
了解初一新生的心理健康现状,能为进行相关的心理健康教育提供依据。研究人员采用心理健康诊断测验(MHT)对初一年级277名学生进行心理健康现状调查,结果发现:7.38%的初一年级
介绍了无线应用协议，包括WAP应用模型、WAP2．0的构成，在此基础上，设计并实现了基于WAP的多媒体消息业务平台，给出了该系统的网络拓扑结构、系统的主要功能模块、开发环境的构建和
论述了网格计算环境下的安全问题及安全技术策略,主要对Globus项目及网格安全基础设施-GSI（Grid Security Infrastructure）进行介绍;讲述了网格安全基础设施的条件和目标;提出