论文部分内容阅读
本文提出一种支持ＰＲＯＬＯＧ程序并行执行的智能回溯机制，它是基于数据相关性分析的动静结合的智能回溯策略，在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合，动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点。
支持逻辑程序并行执行的智能回溯机制
【摘 要】
：
本文提出一种支持ＰＲＯＬＯＧ程序并行执行的智能回溯机制，它是基于数据相关性分析的动静结合的智能回溯策略，在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合，动态执行时通
【机 构】
：
国防科学技术大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1995年4期
其他文献
本文在分析了已有的一些用于描述和控制用户界面的模型之后，提出了一个新的用户面模型－基于网络叠加运算的用户界面模型（ＯＰＥ）模型，该模型利用面向对象的方法以及网络叠加运算使事件处
己烯雌酚酶联免疫反应测试盒是用于饲料中己烯和其他相关的类固醇残留物如二氢己烯雌酚（hexestrol）的定量检测。在家禽或鱼类中过量残留会对消费者造成危害．为此己烯雌酚已经被
近日．中国饲料工业协会发出通知．将评选表彰全国饲料行业履行社会责任先进企业。通知说，改革开放以来．特别是新世纪头十年，广大饲料企业在努力做强做大的同时．自觉履行社会责任．积极
本文提出了一种基于相关性的类比求精方法，该方法能够在相似情况中自动寻找与当前类比有关的知识。
本文阐述了ＣＩＭＳ环境下信息集成平台中基于开放式客房／服务器结构的系统使能器技术的地位、功能及其在ＣＩＭＳ环境下的实现结构，并结合ＣＩＭＳ的具体应用工厂ＳＢＣＩＭＳ讨论了ＣＩＭＳ环境下基于系统使能器技术的信息
为了从源头提升生乳质量，针对近年来越来越多的奶牛场购置了TMR饲料搅拌设备、迫切需要掌握TMR配制技术的情况，全国畜牧总站于8月10—11日在西安举办了奶牛全混合日粮（TMR）配制技
一年一度的九牧全国经销商大会，于2005年最后一个周末在福建泉州市召开。来自全国900多位经销商到会，这是一次火红的会议、激情的会议、丰收和喜悦的会议。
从三条80米长的辊道窑，几千万投资的南海市西樵山旅游度假区区属企业，发展到占地23万多平方米，拥有数亿元的固定资产，22条现代化宽体辊道窑，19条先进抛光生产线，年生产各类墙地砖25