目录

I  用 Scheme 实现 amb

    1  amb 的功能

    2  amb 的 Scheme 实现
        2.1  初始化
        2.2  amb 的 syntax-rules 实现
        2.3  分析
            2.3.1  举例
            2.3.2  简化的实现

    3  一些方便的辅助函数
        3.1  number-between
        3.2  assert
        3.3  apply-amb
        3.4  bag-of
        3.5  distinct?
        3.6  del

II  用 amb 解决问题

    4  生成素数

    5  n-皇后问题

    6  凑 24

    7  凑24的推广

    8  地图4着色

    9  逻辑问题

    10  离散优化问题