该文在考察Visual Prolog 回溯机制和截断机 制的基础上，通过实例，对其静态截断机制和动态截断机制进行了详细分析，从而揭示回溯机制和截断机制的本质特性和应用机理。-On the basis of exposing the backtracking mechanism and the cut mechanism in Visual Prolog illustrated with a group of instances, both the static and dynamic c