第二条

Cut (逻辑编程)（了解如何以及何时删除此模板信息）。切，在Prolog中，是一个目标，写成 !，它总是成功的，但不能被回溯。切断可以用来防止不必要的回溯，这...