Reasoned Schemer (64) 読み返し10章

ということで2周目に入るよ！

いきなり始めに戻らずに10章を読み直している

要するにunifyしたものをdisj2したりconj2したりして
最後にreifyで値を求める、ってことでいいのかな
すこしわかってきた気がする

まだイメージしきれないのは(append-inf s-inf t-if)で
(lambda () (append-inf t-inf (s-inf)))するところかな

ここで順番を変えたsuspensionを返すおかげで
無限ループに陥らずにちょっとずつあっちこっち探索できるように
なってるっぽい感じはするんだけど具体的にはまだちょっと