実装例は載っていません。いえいえ、そんなことは、ありません(笑)。無限ループに陥らず、解が出ます。繰り返しが、追加されていくだけ(笑)。何が起こっているのか、一目瞭然です。本書にもあるように、“元の実装で大抵は、十分だ。このあたりで終わります。非決定性、ようやく、まとめです。newLISPでも、継続渡しを使った非決定性を実装できます。Lispでの実装よりも制限が多くなります。晴耕雨読な日々”からの引越してきたもの。以降で動作するように書き直しています。本体の始まりです(笑)。'(g))))こんな感じです。