SICP 問題 4.35

二つの与えられた限界の間の整数を返す手続き

(define (an-integer-between low high)
  (require (<= low high))
  (amb low (an-integer-between (+ low 1) high)))

計算機プログラムの構造と解釈 第2版