论文部分内容阅读
通过混合MetaLevelLanguage和ObjectLevelLanguage，扩展系统功能，改变Prolog传统的自顶向下，从左到右的深度优先的执行方式，对Prolog程序实行灵活多变的控制。（本刊录）
逻辑控制
【摘 要】
：
通过混合MetaLevelLanguage和ObjectLevelLanguage，扩展系统功能，改变Prolog传统的自顶向下，从左到右的深度优先的执行方式，对Prolog程序实行灵活多变的控制。（本刊录）
【机 构】
：
水电部南京自动化研究所
【出 处】
：
中国计算机学会人工智能与模式识别专业委员会第二届学术讨论会
【发表日期】
：
1988年期
其他文献
水稻在粮食作物中的生产水平较高,大面积生产中,平均单产在千斤以上已不罕见。目前的生产水平条件下,进一步提高其产量要投入较以往更多的物质和能量。然而,产量水平越高,单
多项式时间有界的可行计算是当今计算机科学方面重要的研究课题之一。该文介绍了强有力的有穷损害优先方法及其在可行计算中的应用的课程。讲义由算法与能可行计算性；多带图灵
该文使用一种计算方法给出了另一个NP完全类问题的亚多项算法。这里的问题是把判定一类线性不等式组是否有解的亚多项式算法中的不等式都换成为等式后所待解决的问题。（珑摘）
结合高校电教设备管理的实际,设计了一个电教设备使用申请及维护的系统,系统可用于对电教设备的维护和使用情况进行记录和统计.由于传统静态图表的内容修改不方便,而服务端生
克雷格·文特尔也许可以称得上是基因时代的阿喀琉斯。在破译人类遗传密码方面，这位具有叛逆精神的科学奇才作出了非凡的独特贡献。他所领导的私营塞莱拉公司与六国联合舰队之