【摘 要】
：
回溯机制是逻辑程序设计的重要设施.回溯本身是一种获得目标所有可能解的良好方法.然而回溯也有副作用,一是它可能导致Visual Prolog给出多余的答案,而Visual Prolog自己不能
【机 构】
：
西安电子科技大学计算机学院,西安电子科技大学计算机学院,空军工程大学导弹学院
【基金项目】
：
国防科技预研基金，教育部高校骨干教师资助计划
论文部分内容阅读
回溯机制是逻辑程序设计的重要设施.回溯本身是一种获得目标所有可能解的良好方法.然而回溯也有副作用,一是它可能导致Visual Prolog给出多余的答案,而Visual Prolog自己不能区分实质上相同的两个解,因此会降低效率;二是尽管一个特殊的目标已被满足,但是回溯机制可能还会强迫Visual Prolog继续寻找另外的解,因此会增加系统开销.在这些情况下,必须仔细控制目标搜索求解的回溯过程.本文在揭示Visual Prolog回溯机制所存在问题的基础上,通过实例,对Visual Prolog的静态截
其他文献
用面向对象建模语言（如统一建模语言UML）设计并用面向对象程序设计语言（如C^＋＋）实现实时系统是实时系统开发领域的一个趋势，但面向对象的主要特征（如多态性）却使程序最差情况执行时间（W
通过改进SBAC控制策略来实现会话级的Web QoS控制,采用对不用级别的用户实施不同的基于会话访问控制策略,使级别较高的用户获得较多的系统资源,从而获得更好的服务和更快的响
JMS定义了Java访问消息中间件标准的和统一的接口，克服了RPC中间件技术的同步通信、紧密耦合等的局限性。消息驱动Bean（MDB）组件作为一种完善的JMS客户机，很好地利用了已有的EJB
科学数据库中存在大量的多媒体数据,为了实现对多媒体内容的有效存储、管理和检索,基于内容的多媒体综合检索技术将成为技术研究的重点.本文首先分析了科学数据库多媒体资源
随着P2P计算受到越来越多的关注,如何系统全面地对一个P2P系统作出评估成了一个非常重要的问题.本文从服务质量的角度来系统地考虑P2P系统评估的问题,提出了一个P2P系统服务