本节开始介绍神奇的amb函数，为引入逻辑程序设计做铺垫。关于amb，有清华王垠的一个文档：
http://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)))
4.36,与练习3.69相关，貌似我没解过这道题，略过。 4.37,两点大大缩小了搜索范围： 1）通过限制i^2+j^2<= high^2，平方和大于上限平方的全部过滤掉 2）k的判断不再通过amb取值，而是求平方和的平方根是否为整数来判断，进一步缩小了搜索范围
文章转自庄周梦蝶 ，原文发布时间2008-11-04
相关资源：敏捷开发V1.0.pptx
