本節開始介紹神奇的amb函式，為引入邏輯程式設計做鋪墊。關於amb，有清華王垠的乙個文件：
4.35，與an-element-of類似：
(define (an
-integer
-between low 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
sicp學習 迷宮
很簡單的問題，最笨的演算法，自己第乙個用scheme寫的稍微算長點的程式.廢話不多說，直接上 begin load ex2.scm define make maze define for each proc things cond null?things nil else let ret proc ...
SICP學習筆記（1 1 4 1 1 5）
sicp學習筆記 1.1.4 1.1.5 周銀輝 書接上一回,這裡是我在學習1.1.4 1.1.5時的一些筆記 1,標準過程與復合過程 以 scheme為例,作為一門語言,其內建了一些原始過程 或稱之為標準的過程 與scheme環境中,比如,實際上與某個內建過程關聯 繫結 了起來,該過程接收兩個引數...
SICP學習筆記（1 1 1 1 1 3）
sicp學習筆記 1.1.1 1.1.3 周銀輝 sicp，即structure and interpretation of computer programs,電腦程式的構造和解釋，是mit 麻省理工學院 一門經典課程，相信很多程式愛好者都讀過，最近我也抽空讀了讀，挺有意思的。算是對大學知識 高數...