摘要： 回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。然而回溯也有副作用，一是它可能导致Visual Prolog给出多余的答案，而Visual Prolog自己不能区分实质上相同的两个解，因此会降低效率；二是尽管一个特殊的目标已被满足，但是回溯机制可能还会强迫Visual Prolog继续手找另外的解，因此会增加系统开销。在这些情况下，必须仔细控制目标搜索求解的回溯过程。本文在揭示Visual Prolog回溯机制所存在问题的基础上，通过实例，对Visual Prolog的静态截

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