截斷和否定

轉載自：https://mp.weixin.qq.com/s/w5cjPDg0SDGiIMQjpXgYBw 本章有兩個主要目標： 1.解釋如何在cut謂詞的幫助下控制Prolog的回溯行爲。 2.解釋如何將截斷打包成更結構化的形式，即否定爲失敗。     1   截斷 自動回溯是Prolog最具特色的功能之一。但是回溯會導致效率低下。有時，Prolog可能會浪費時間探索無能爲力的可能性。對其行爲的

>>阅读原文<<