Cut 操作被廣泛的用於減掉不希望回溯的分支,例如,避免找到程序不需要的額外的 ... 不會表達和上述green cut例子中一樣的意思,因為該子句將不能保證\+ gotmoney(X)。
確定! 回上一頁