从概念上讲，我理解成功和失败延续回调在整个过程中所起的作用。似乎成功延续有点“沉沦”并推动事情向前发展，而失败延续则从底部“弹出”（最新的 amb 表达式）并具有后进（找到）先出（称为）议程的效果（堆）。引人注目的是，失败回调神奇地作为成功回调的第二个参数结束！我的意思是，他们显然走的是不同的道路，以及最初是如何设计这样的东西的。然后，当涉及到解释上下文时，我发现很难一步一步地遵循这个过程。例如：
((amb foo bar) (amb 10 20) (amb 'well 'ok))
还有其他方法可以在书中实现这个amb评估器吗？