524
sicp 4.3.1小節兩題
本節開始介紹神奇的amb函數，為引入邏輯程序設計做鋪墊。關於amb，有清華王垠的一個文檔：https://cs2.swfc.edu.cn/~wanghuan/wangyin1/amb/amb.html
4.35，與an-element-of類似：
(define (an-integer-between low high)
(require (not (> low high)))
(amb low (an-integer-between (+ low 1) high)))
(require (not (> low high)))
(amb low (an-integer-between (+ low 1) high)))
4.36,與練習3.69相關，貌似我沒解過這道題，略過。
4.37,兩點大大縮小了搜索範圍：
1）通過限製i^2+j^2<= high^2，平方和大於上限平方的全部過濾掉
2）k的判斷不再通過amb取值，而是求平方和的平方根是否為整數來判斷，進一步縮小了搜索範圍
文章轉自莊周夢蝶 ，原文發布時間2008-11-04
最後更新：2017-05-18 11:02:02