如何将使用`all`的MiniKanren代码迁移到miniKanren-with-symbolic-constraints？

旧版MiniKanren中的all是多目标合取组合器，作用是同时满足所有传入的子目标。你直接移除all后，Scheme会按顺序求值三个目标，但仅返回最后一个目标的结果——前两个ancestor目标的约束被完全丢弃，导致最终只有投影目标生效（而desc1和desc2是固定的'sal和'jay，条件成立，所以返回无约束的逻辑变量_.0）。

解决方案 #

在miniKanren-with-symbolic-constraints中，需要用合取方式正确组合所有子目标，以下是几种等价的正确写法：

写法1：使用conj组合器（支持多参数的实现） #

(define common-ancestor
  (lambda (anc desc1 desc2)
    (conj
      (ancestor anc desc1)
      (ancestor anc desc2)
      (project (desc1 desc2)
        (if (not (eqv? desc1 desc2))
            succeed
            fail)))))

写法2：嵌套目标应用（兼容所有实现） #

MiniKanren的目标本质是接受状态的函数，嵌套调用等价于合取：

(define common-ancestor
  (lambda (anc desc1 desc2)
    ((ancestor anc desc1)
     ((ancestor anc desc2)
      (project (desc1 desc2)
        (if (not (eqv? desc1 desc2))
            succeed
            fail))))))

写法3：利用fresh体内的默认合取 #

即使不需要引入新逻辑变量，fresh体内的多个目标默认是合取关系：

(define common-ancestor
  (lambda (anc desc1 desc2)
    (fresh ()
      (ancestor anc desc1)
      (ancestor anc desc2)
      (project (desc1 desc2)
        (if (not (eqv? desc1 desc2))
            succeed
            fail)))))

验证 #

修改后执行(run 2 (a) (common-ancestor a 'sal 'jay))，会得到预期结果(sam jon)。

补充说明 #

你的投影部分写法是正确的——当desc1和desc2为具体符号时，投影会提取它们的值进行eqv?判断，这里条件成立，所以不会过滤结果。如果desc1或desc2是逻辑变量，投影会提取当前绑定的值进行判断，符合需求。

内容的提问来源于stack exchange，提问作者Janus Troelsen