sicp 4.3.1小节两题

本节开始介绍神奇的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取值，而是求平方和的平方根是否为整数来判断，进一步缩小了搜索范围