截断谓词的研究与分析

回溯机制是Visual Prolog程序运行的重要机制,是获取所有可能解的一种方法.但在实际问题的解决过程中,有时却不需要回溯.Visual Prolog提供的内部谓词-截断谓词“!”可以用来阻止回溯,而且从某种意义上讲,只有学会了截断谓词的使用,才能自由驾驭Prolog.文章主要结合实例对截断谓词的作用以及使用方法进行了详细介绍,并指出了截断谓词的作用本质上是删除满足一定条件的回溯点。

Research and Analysis of Cut Predicate

The backtracking mechanism is an important mechanism for Visual Prolog.The backtracking is an approach to obtaining all the possible solutions to a goal.But sometimes the backtracking isn't necessary.Visual Prolog provides an inner predicate-cut predicate that can prevent Visual Prolog from backtracking.And in some senses,Visual Prolog can be controlled only if using cut predicate expertly.This paper mainly discusses the effect and usage of cut predicate and points out that the essence of cut predicate is used to delete some backtracking dot.