Pythonのyieldは継続じゃない

Pythonのyieldで非決定計算をやろうとして、失敗した。
yieldは自分の関数のなかでの位置しか覚えていないから、バックトラックには使えない

というか、yieldが作るのはジェネレータであって、継続ではない。
try/catchが継続で実現できるのと同様に、ジェネレータも継続で実現できるけれど、ジェネレータ自体は継続じゃない。