Functional programming SICP ch4中的amb评估器是如何工作的？

自负的是，我理解成功和失败的连续回调在整个过程中所起的作用。成功的延续似乎是一种“下沉”和推进，而失败的延续则是从底部“弹出”（最新的amb表达式），具有后进先出（称为）议程（堆栈）的效果。令人惊讶的是，失败回调神奇地成为成功回调的第二个参数！我的意思是，他们显然走的是不同的道路，以及像这样的东西最初是如何设计的。然后，当涉及到解释上下文时，我发现很难一步一步地遵循这个过程。例如：

((amb foo bar) (amb 10 20) (amb 'well 'ok))

---

本书中是否有其他方法实现此amb evaluator？

有关编码非确定性计算的一些不同方法，请参见示例以及其中的链接。还有。关于我的一些讨论。关于编码非确定性计算的一些不同方法，请参见，例如，以及其中的链接。还有。在我的文章中也有一些讨论。