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