Question

我对计算机程序结构和解释的第4.3.3节中的练习4.54有疑问（http://mitpress.mit.edu/sicp/full-text/book/book-ZH-28.html#% _sec_4.3.3）。本练习涉及Amb评估员。

练习如下：

如果我们没有意识到require可以作为使用amb的普通过程实现，由用户定义为非确定性程序的一部分，我们将不得不将其实现为一种特殊的形式。这需要语法程序

(define (require? exp) (tagged-list? exp 'require))

(define (require-predicate exp) (cadr exp))

以及analyze
中发送的新条款
((require? exp) (analyze-require exp))

以及处理analyze-require表达式的过程require。完成analyze-require的以下定义。
(define (analyze-require exp)
  (let ((pproc (analyze (require-predicate exp))))
    (lambda (env succeed fail)
      (pproc env
             (lambda (pred-value fail2)
               (if <??>
                   <??>
                   (succeed 'ok fail2)))
             fail))))

我完成了如下：

(define (analyze-require exp)
  (let ((pproc (analyze (require-predicate exp))))
    (lambda (env succeed fail)
      (pproc env
             (lambda (pred-value fail2)
               (if (false? pred-value)
                   (fail2) ;; or (fail)
                   (succeed 'ok fail2)))
             fail))))

我怀疑如下：

我知道，在执行期间，当谓词值pred-value为false时，require应该失败;也就是说，它应该调用失败继续程序。但我对是否应该拨打(fail)或(fail2)感到困惑。哪一个是正确的？

Answer 1

(fail2)是正确的。该过程符合continuation-passing style，在这种情况下正确的延续过程为fail2。

Answer 2

我认为(fail)是正确的。

这里我们得到pred-value，这意味着pproc现在评估得很好。但如果它是false值，我们会将其视为错误，因为pproc评估错误。所以此处的延续时间为fail而不是fail2。

可在此处找到测试：

https://wizardbook.wordpress.com/2011/01/22/exercise-4-54/

Answer 3

(fail2)是正确的，好吧，大部分时间无论您选择哪个都无关紧要，但对于以下条件：

1.谓词部分包含（amb），例如

(require (amb false true false true true))

2.谓词部分包含（设置！＆lt; ...＆gt;＆lt; ...＆gt;）

你可以检查出来，这是因为除了上述两种过程外，大多数进程的失败继续与其调用者相同。虽然听起来有些荒谬。

SICP练习4.54

3 个答案: