visualprolog的搜索控制机制分析

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