论文部分内容阅读
本文包括:逻辑程序设计的发展历史,逻辑程序设计与Horn子句、Prolog语言,逻辑程序设计的特点,逻辑程序的并行性以及逻辑程序设计存在的问题。
逻辑程序设计的研究
【摘 要】
：
本文包括:逻辑程序设计的发展历史,逻辑程序设计与Horn子句、Prolog语言,逻辑程序设计的特点,逻辑程序的并行性以及逻辑程序设计存在的问题。
【机 构】
：
航空航天部一院
【出 处】
：
计算机工程与设计
【发表日期】
：
1989年3期
其他文献
在逐步Ⅱ型截尾模型下,研究含屏蔽数据三部件并联系统的可靠性分析。假设组成系统的部件相互独立且服从补充指数分布,利用屏蔽系统寿命数据给出了部件参数与可靠度函数的极大
众所周知,我们的生活离不开淡水,然而地球上的淡水资源严重匮乏,如何开发、保护淡水资源为人类的生存、发展提供足够的清洁用水是目前全世界最棘手也是最迫切的问题之一。当
我国高校马克思主义理论教学体系，是按“三个组成部分”（哲学、政治经济学、社会主义学）设置的。学界长期以来在马克思主义理解上存在着歧义。最初“三个组成部分”的理解，引起了
本文强调，经济学研究不仅要以时间变量为分析手段，而且要引入空间变量；空间经济分析要同时肯定“均质空间”与“非均质空间”的存在并作为经济学研究的条件与对象，据此，经济学研究
政治体制改革，已走过30年的历程。应该说30年来的政治体制改革，取得了很大成效。县级政治体制改革作为地方政治体制改革的一个部分，体现了政治体制改革的战略意义。开展县级政治
作为处理放射性废水工艺中的重要组成部分,膜分离技术分离具有很多优点,譬如运行成本比较低廉、性能好等。膜分离技术不仅可以极大的弥补传统工艺的众多不足,而且技术本身也
1999年2月-2002年7月，我们应用低分子肝素钙对60例短暂脑缺血发作(TIA)患者进行临床对比研究，疗效显著，现报告如下。
目的研究提高医院消毒供应中心器材消毒质量的方法,为临床上提高医院消毒供应中心器材消毒质量提供思路。方法将腔镜器械30套与专科精密手术器械31套拍成数码照片,提供给医院