切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
PROLOG线性归结的研究与设计
PROLOG线性归结的研究与设计
来源 :安徽大学学报:自然科学版 | 被引量 : 0次 | 上传用户:wxcplayer
【摘 要】
:
本文研究了Horn子句的形式描述,分析了PROLOG语言的归结机制,探讨了了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使索陷入无穷分枝的问题
【作 者】
:
李龙澍
【机 构】
:
安徽大学计算机科学与工程系
【出 处】
:
安徽大学学报:自然科学版
【发表日期】
:
1997年3期
【关键词】
:
线性归结
HORN
子句
PROLOG
语言
搜索策略
linear deductionHorn clausesPROLOG languagesearch st
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究了Horn子句的形式描述,分析了PROLOG语言的归结机制,探讨了了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使索陷入无穷分枝的问题。
其他文献
面向动态精密测微的误差修正技术
本文阐述在精密测微时,对采样数据进行误差修正,可减小或消除随机误差影响,提高测量精度。
期刊
夫琅和费衍射
暗点间距
精密测微
误差修正
Curve fitting
Little square method
Interval of dark poin
认真、坚持:学好高中生物的双翼
很多人都说,“高中生物是理科中的文科。”它有很多零碎的知识点,需要记忆的内容很多、很杂。同时.生物同其他理科一样,讲究理解力、分析力以及动手能力的考查。不经过训练,是考不
期刊
高中生物
动手能力
知识点
理解力
理科
越冬花菜高效栽培技术
期刊
花菜
越冬
栽培
VHS录像机HQ技术的探讨
本文阐述VHS录像机HQ技术的主要内容以及如何运用HQ技术改善重放画面的质量。
期刊
HQ技术
画面质量
VHS录像机
HQ Techniquespicture qualityrate of signal noise
语文课堂的flash模拟制作
文学作品的教学是中学语文教学的重要组成部分。长期以来,文学作品的教学中存在着以生活的本真观照作品内容、以另类的视角标示个性的解读、以内容的概述替代意蕴的品味、以花
期刊
文学作品
错位
解读
农业高职院校畜牧兽医专业课程设置改革实践的研究
农业高职院校培养的是能够胜任农业生产第一线各项生产任务的高级技术应用型人才,培养的人才主要来自农村,最终也是为农业、农村和农民服务,不但要有一定的专业知识,而且要有一定
期刊
农业高职院校
职业教育
课程设置
培养目标
面向对象的程序设计方法的研究
本文简要的概述了面向对象程序设计的基本特点和特征,并与传统的程序设计方法作了比较,分析其优缺点,文章用OOP方法设计并实现了一个股民买卖票系统。
期刊
面向对象
程序设计方法
买卖股票系统
推进高职院校形势与政策教育教学工作的措施研究——激励理论视角下的思考
当前多数高职院校形势与政策教育教学工作与中央的要求有较大的差距。从激励理论的角度来分析,其原因是这项工作在高职院校有关人员心目中的效价和期望值低,致使工作开展的动力
期刊
高职教育
形势与政策
激励措施
新型磁性肥料的试验研究
将强磁性的磁性肥料,顺磁性的稀土微肥和作物所需的微量元素按一定的配经绵晟一种新型的磁肥,研究其对大蒜生长全过程的影响,发现它对蒜瓣的出芽,蒜苗成长和结果均有明显影响,从而
期刊
磁性肥料
微量元素
大蒜
magnetic fertilizer
microelement
garlic
全省阳光工程暨沼气建设现场会在洛阳召开
9月5日,省政府在洛阳召开全省阳光工程暨沼气建设现场会。省发改委、财政厅、农业厅、建设厅、卫生厅、水利厅、林业厅、环保局、畜牧局、扶贫办,各省辖市政府副秘书长及发改委
期刊
阳光工程
沼气建设
现场会
洛阳
财政厅
成员单位
农业厅
环保局
与本文相关的学术论文