cutオペレータの明快な説明ってないでしょうか？
どこまでのバックトラックが抑止されるのかが、なんとなくでしかわからない…

呼び出された節中のcutの効果は呼び出し側にも及ぶんですよね？