大学の演習で作るprolog処理系だと、バックトラックじゃなくて、節の(ユニフィケーションの変数のバインドの)展開だからカットの実装の困難さがいまいち理解できなくて困る