本节开始介绍神奇的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