Visual Prolog的搜索控制机制分析

作     者：雷英杰 王宝树 赵晔 王涛 LEI Ying-Jie;WANG Bao-Shu;ZHAO Ye;WANG Tao

作者机构：西安电子科技大学计算机学院西安710071 空军工程大学导弹学院陕西三原713800 

基　　金：国防科技预研基金(51406030104DZ0120) 教育部高等学校骨干教师资助计划项目(GG-810-90039-1003) 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2005年第32卷第4期

页      码：52-54页

摘      要：回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。然而回溯也有副作用,一是它可能导致Visual Prolog给出多余的答案,而Visua1 Prolog自己不能区分实质上相同的两个解,因此会降低效率;二是尽管一个特殊的目标已被满足,但是回溯机制可能还会强迫Visual Prolog 继续寻找另外的解,因此会增加系统开销。在这些情况下,必须仔细控制目标搜索求解的回溯过程。本文在揭示Visual Prolog回溯机制所存在问题的基础上,通过实例,对Visual Prolog的静态截断机制、失败谓词fail与否定谓词not等控制谓词,以及动态截断机制等所构成的完整的目标搜索求解控制机制进行了详细分析,从而揭示出回溯机制和搜索求解控制机制的本质特性及应用机理。

主 题 词：Visual Prolog 机制分析 逻辑程序设计 目标搜索 控制机制 系统开销 应用机理 本质特性 回溯 副作用 低效率 求解 谓词 截断 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2005.04.016

馆 藏 号：203294862...