PIE 阻斷回溯——Cut

PIE（Prolog Inference Engine）通常是搜索所有的解。舉個例子， 當然dialog窗口中一開始調用 run. 只會顯示一個解（雖然事實上會得到兩個解），在前面加上 X=1，就可以將兩個解都顯示出來。 有時候我們只需要得到一個解就行，此時如果讓PIE算出所有的解，顯然會浪費時間降低效率。這時我們就可以使用 cut 來解決這個問題。 假設有如下規則，rule r1 :- a,b,

>>阅读原文<<