该文在考察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 cut mechanisms are

investigated in detail. Thus the essential characteristics and fundamentals of applications of the backtracking mechanism and that of the cut

mechanisms are demonstrated.