论文部分内容阅读
研究了一种求解包含一个IDB谓词线性递归程序的算法,该算法由规则间的相关性对逻辑程序进行分解,减少IDB谓词项的个数,然后再对分解后的子程序进行魔转换.并提出了对该算法的进一步优化方案.最后对算法中引入的ID号做了开销分析.
一种求解递归规则的有效算法
【摘 要】
：
研究了一种求解包含一个IDB谓词线性递归程序的算法,该算法由规则间的相关性对逻辑程序进行分解,减少IDB谓词项的个数,然后再对分解后的子程序进行魔转换.并提出了对该算法的
【机 构】
：
中国民用航空学院计算机科学与技术学院
【出 处】
：
中国民航学院学报
【发表日期】
：
2005年2期
其他文献
当代大学生的学习心态与高校的道德品质教育陈玲，赵永成当代大学生们被称之为“天之骄子”。他们当中的多数勤奋学习，积极进取，有远大的志向，有崇高的理想，有拼搏奉献的精神，有爱国
俄罗斯民众对酒的感情是复杂的，他们对拥有数百年历史的伏特加酒既爱又恨。一方面，他们视其为“生命之水”，是其精神寄托；另一方面，他们又想摆脱、割舍掉令其饱受折磨、痛苦的伏特
浅谈高校院（系）办公室主任应具备的素质与能力东北师大张志静一、应具备专业文化素质高等学校的院（系）是高校教学、科研的第一线，学校教学、科研等各方面工作的组织、管理、实施，都
群文阅读促使学生从单篇阅读走向多篇阅读，将一个阅读目标作为核心，引导学生展开多元阅读，探究话题，分享阅读经验，沟通阅读感受，碰撞思维。由此可见，群文阅读的过程实际上就是自主探究和合作探讨的过程，围绕主题展开整合是十分重要的。然而，在实践教学中发现，不少学生在阅读时只是追求阅读的量，但是却忽略了群文阅读的整合性。在初中语文教学的过程中要促使学生学会加强整合，让群文阅读的有效性得到提升。一、凝练主题，
【作文题目】 阅读下面材料，根据要求写一篇不少于800字文章。 电影女明星割韭菜，赚了几十个亿，不止一项罪名，加起来，才罚60万元。近日，人大代表樊芸提出，对欺诈、操纵股市的行为，不仅要对公司进行强制退市的惩罚，还要加大对个人的监管，尤其是企业高管人员的惩罚，确认违法违规的，实施重罚，加重刑期，陪得底儿掉，倾家荡产，这样才有威慑力。 链接：割韭菜，指在股市上通过虚假信息、不实、误
政治理论教育应给人以方法空军医学高等专科学校高金华学以致用，是人类学习行为的一个普遍原则。教百者能否发挥理论的实践作用，向受教育者传授应用这种理论的方法，是这种理论能
听朋友说国内已经到了可以穿裙子的季节,而对我来说,这是开始想你的季节。这是我在国外过的第一个春天,去年的这时,我还在因为工作的压力崩溃大哭,还在很多个傍晚奔波在不同
语文教学中的“阅读理解”，简单来说，指的是对课本内容有一个详细的阅读和理解，阅读的主要目的就在于能够找到文章中的中心思想和主旨大意，并在阅读过程中学习和掌握写作技巧以及写作结构、词汇的妙用等各个方面。阅读理解能力也可以说是一种鉴赏能力的体现，并且是语文学习中重要的内容，同时也可以对学生的语文学习效果和水平有一个及时的反馈。针对于如何提高初中生语文阅读理解能力，笔者结合实际教学经验，总结出几点策略方
有一天晚上，我登录微博，收到一封私信。一个头像是卡通兔子的女生问我：男生是不是都喜欢漂亮的女生？我还在思考怎么回答，她就发来很长的一段文字。她说自己是一个高二的女生，无论是
小草受不了冬天的赞美,悄悄地走了。来年,它却还给春天一片生机,使夏天变得更加美丽。有的人就像小草一样,有着强大的逆生长能力,你是那种越长越好看的小可爱吗?想知道,就一