%0 Journal Article
%T visualprolog的搜索控制机制分析
%A 雷英杰 王宝树 赵晔 王涛？
%J 计算机科学
%D 2005
%X 回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。然而回溯也有副作用，一是它可能导致visualprolog给出多余的答案，而visualprolog自己不能区分实质上相同的两个解，因此会降低效率；二是尽管一个特殊的目标已被满足，但是回溯机制可能还会强迫visualprolog继续手找另外的解，因此会增加系统开销。在这些情况下，必须仔细控制目标搜索求解的回溯过程。本文在揭示visualprolog回溯机制所存在问题的基础上，通过实例，对visualprolog的静态截
%K visualprolog机制分析逻辑程序设计目标搜索控制机制系统开销应用机理本质特性回溯副作用低效率求解谓词截断
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=16190345&flag=1