PIE(Prolog Inference Engine)通常是搜索所有的解.举个例子, 当然dialog窗口中一开始调用 run. 只会显示一个解(虽然事实上会得到两个解),在前面加上 X=1,就可以将两个解都显示出来. 有时候我们只需要得到一个解就行,此时如果让PIE算出所有的解,显然会浪费时间降低效率.这时我们就可以使用 cut 来解决这个问题. 假设有如下规则,rule r1 :- a,b,c. 有三个 subgoal,分别是 a,b,c.PIE推断的时候依次计算a,b,c,当c失败时,可