错误：Scheme 中的合同违规

Question

我在 Scheme 中练习递归。我下面的代码用于获取模式子句和语句，然后如果语句匹配模式则返回绑定列表，如果不匹配则返回 false：

(define remove-question-mark
  (lambda (s1)
    (if (memq #\? (string->list (symbol->string s1)))
        (cdr (string->list (symbol->string s1)))
        '())))

(define check-two-symbol
  (lambda (symbol1 symbol2)
    (if (and (regexp-match #rx#"\\?attrs" (symbol->string symbol1)) (list? symbol2))
        (cons symbol1 (list symbol2))
        (if (equal? symbol1 symbol2)
            '()
            (if (equal? (remove-question-mark symbol1) (string->list (symbol->string symbol2)))
                (cons symbol1 symbol2)
                #f)))))

(define clause
  (lambda (state1 state2)
    (if (and (null? (car state1)) (null? (car state2)))
        '() 
        (list (check-two-symbol (car state1) (car state2)) (clause (cdr state1) (cdr state2))))))

这是我的输入：

(clause '(wasDerivedFrom ?der ?e1 ?e2 . ?attrs_derv) '(wasDerivedFrom der e1 e2 (prov:type "Revision")))

我的代码出现了这个错误：

car: contract violation
  expected: pair?
  given: '()

预期输出：

((?der . der)
(?e1 . e1)
(?e2 . e2)
(?attrs_derv (prov:type "Revision")))

调试后发现(car state1)为?attrs_derv时出错

如果我单独运行函数check-two-symbol，比如(check-two-symbol '?attrs-derv '(prov:type "Revision"))，它会很好地打印出来：

(?attrs_derv (prov:type "Revision"))

但是使用 main 函数时，我得到了错误。那么有人可以帮我展示如何解决这个错误吗？我不太熟悉递归......

提前致谢！

Answer 1

错误消息表明您调用car 时使用的不是一对。你只在四个地方调用car，所以它是clause 中的一个。现在clause 仅被称为来自 clause，因此您不必走太远就能找到它。 clause 应该使用什么样的值来调用？当您递归调用clause（以下代码的最后一行）时，您将使用(cdr state1) 和(cdr state2) 调用它。有什么理由认为这些不是'()？

(define clause
  (lambda (state1 state2)
    (if (and (null? (car state1)) (car (null? state2)))
        '() 
        (list (check-two-symbol (car state1) (car state2))
              (clause (cdr state1) (cdr state2))))))
                      ------------ ------------

让我们看看 clause 从您的初始输入中被调用：

(clause '(wasDerivedFrom ?der ?e1 ?e2 . ?attrs_derv) '(wasDerivedFrom der e1 e2 (prov:type "Revision")))
(clause '(?der ?e1 ?e2 . ?attrs_derv) '(der e1 e2 (prov:type "Revision")))
(clause '(?e1 ?e2 . ?attrs_derv) '(e1 e2 (prov:type "Revision")))
(clause '(?e2 . ?attrs_derv) '(e2 (prov:type "Revision")))
(clause '?attrs_derv '((prov:type "Revision")))

此时您将尝试在?attrs_derv 上调用car，这会导致错误，因为符号不是一对。事实上，如果我们将clause 简化为以下形式（这样它就不会调用check-two-symbol）

(define clause
  (lambda (state1 state2)
    (if (and (null? (car state1)) (car (null? state2)))
        '() 
        (list (clause (cdr state1) (cdr state2))))))

然后尝试调用你提到的代码，我们得到一个错误：

> (clause '(wasDerivedFrom ?der ?e1 ?e2 . ?attrs_derv) '(wasDerivedFrom der e1 e2 (prov:type "Revision")))
car: contract violation
  expected: pair?
  given: '?attrs_derv

您遇到不同的错误这一事实意味着对 check-two-symbol 的调用在我们看不到的某个地方对 car 进行了调用，或者您向我们展示的测试与输出不一致你给我们看了。无论哪种情况，您似乎都在尝试并行递归两个列表。如果它们都是成对的，你只能这样做，所以你可能想要这样的代码

(if (not (and (pair? state1) (pair? state2)))
   <then-something>
   <else-something>)