第二部分

用 amb 解决问题

amb 可以为我们解决很多实际问题。它可以被作为一种通用的回溯和 分枝剪切机制。

这一部分我们列出一些用 amb 可以轻易解决的问题。