论文部分内容阅读
本文介绍一种Prolog元级解释器,它解决了专家系统中采用转换规则模式表示知识时的逆向推理问题。
一种用于逆向推理的Prolog元级解释器
【摘 要】
：
本文介绍一种Prolog元级解释器,它解决了专家系统中采用转换规则模式表示知识时的逆向推理问题。
【机 构】
：
西北师范大学计算机科学系,甘肃省经济管理干部学院兰州730070,兰州730070
【出 处】
：
微电子学与计算机
【发表日期】
：
1993年8期
其他文献
一个井盖，一座城市，一个21岁的年轻生命。近日，长沙女孩坠井事件后，“井盖”成了网络热搜词。在日本，道路上的艺术窨井盖简直是一座城市的名片。上面的图案会告诉你这个城市什么最
云计算是基于互联网相关服务的增加、使用和交付模式,通常涉及通过互联网来提供动态易扩展且经常是虚拟化的资源。随着云计算技术的推广应用,近年来互联网企业和电信运营企业
介绍了刚性悬挂接触网与传统柔性接触网性能比较,阐述了刚性悬挂接触网更适用于电气化铁路隧道内的理论分析及实际应用效果。
The performance comparison between rigid su
随着社会经济的不断进步,我国教育事业逐渐完善,社会越发注重学前教育,近年来,我国学前教育机构逐渐增加,旨在提升学前儿童学习能力、智力开发等,这又是学前儿童生长发育的重
为顺应新经济发展趋势,我国行政事业单位越来越关注自身固定资产的使用效率及经济效益的提高。目前,行政事业单位虽在工作程序上进行了改革创新,并取得了一定的成效,但存在的
<正>怎样调动学生学习的兴趣和积极性是思想品德课教学中必须不断探索的课题。在初中《思想品德》课堂教学中引入设疑式教学方式,将能收到较好的教学效果。设疑式教学是以贯
我国新元古界油气最先在扬子地块川中灯影组取得突破,但对于整个扬子地块的新元古界生储层系还研究较少,研究新元古界生储层系的发育及分布规律,可以为扬子地块下一步深层油气的勘探提供有益借鉴。本文通过对扬子板块多个新元古界地层剖面进行野外踏勘、采样;并进行了一系列烃源岩测试分析及磨制储层铸体薄片,对于新元古界主要生储层系的分布规律、烃源岩有机地球化学特征、储层特征进行了研究,并对典型的新元古界油气藏进行了
运用资料法、文献综述法对在医学院校开展阳光体育运动的重要性、可行性以及开展此项活动对于广大医学院校学生身心健康的影响进行全面的论述。同时还对开展此项活动的途径进
我国基本医疗保险制度的建立有效地解决人民群众的看病问题,但是,三种医保制度分立、管理分割造成了基本医保管理效率难以提高,阻碍了劳动力的自由流动,不利于人们健康权利的
目的利用bcl-x微基因(minigene)构建重要顺式作用元件B2G、CRCE2的突变微基因,建立bcl-x微基因报告法并应用于bcl-x选择性剪接机制的研究。方法以构建成功的pcDNA3.1(-)-bcl-