継続で保存した状態から再開したければクロージャを使うべきだと思うけど、その例では使ってない。
保存した状態（つまりクロージャ）をスタックしてバックトラックする例を勉強すればどこが違うか理解できるだろう。
非決定性とか論理プログラミングを探して読んでみると良いと思う。