截断和否定

转载自：https://mp.weixin.qq.com/s/w5cjPDg0SDGiIMQjpXgYBw 本章有两个主要目标： 1.解释如何在cut谓词的帮助下控制Prolog的回溯行为。 2.解释如何将截断打包成更结构化的形式，即否定为失败。     1   截断 自动回溯是Prolog最具特色的功能之一。但是回溯会导致效率低下。有时，Prolog可能会浪费时间探索无能为力的可能性。对其行为的

>>阅读原文<<