if 条件節およびthen節またはelse節を評価する and falseが出てくるまで順番に評価を続け、それ以降は評価しない or trueが出てくるまで順番に評価を続け、それ以降は評価しない amb 渡された要素のうち一つだけを評価する（呼び出されるごとに別の要素を評…

要するに、ambが引数を遅延評価しないと条件の切り替えはうまく動かない、と。そしてSICPのamb実装は遅延評価になっている、と。実験してみる (define (endless) (endless)) (amb 1 (endless) 2) -> 1 try-again -> ふっとぶ おｋ。予想通り

たぶんambの引数が評価されるかどうかということだよね (define hoge 1) (amb hoge 2) -> 1 try-again -> 2 ということでおｋ？