conda和condu的语义特别重视每个子句的头部，但建立在它们之上的core.logic的模式匹配宏将主体合并到头部。这意味着在决定选择哪一行时，会考虑主体位置中的每个表达式，而不仅仅是头部位置的表达式。这是因为整个子句被一个新表达式包裹以绑定隐式指定的lvars，它们出现在模式中。
为了说明
`
(matcha ['a]
[['a] u#]
[['a] s#])
;; 展开为
(conda
[(fresh [] (== 'a 'a) u#)]
[(fresh [] (== 'a 'a) s#)])
;; 这与
(conda
[(== 'a 'a) u#]
[(== 'a 'a) s#])
`
理想情况下，我们可以设计一个新的系统来结合conda的语义和模式匹配。至少，我认为有问题的宏应该在它们的文档字符串中携带一个警告，说明这种语义差异。
我怀疑这也会使“第三条戒律”警告适用于整行，而不仅仅是为头部/问题的，但我尚未调查这个问题。
以下是一个展示语义差异的示例
`
;; 这个不会成功，因为我们在第一行上做出了承诺，
;; 因为问题成功了，但在主体中失败了。
(run* [q]
(conda
[(== 'a 'a) u#]
[(== 'a 'a) s#]))
;; => ()
;; 这个会成功，因为整个行被用来确定要承诺哪一行，
;; 而不仅仅是头部模式的子句。所以当第一行失败时，
;; 尝试第二行。
(run* [q]
(matcha ['a]
[['a] u#]
[['a] s#]))
;; => (_0)
`
