Racket 拍内'；s迷你坎伦图书馆，康迪在哪里？

mini-kanren语言具有四个条件运算符：

conda

、

conde

、

condi

和

condu

（已描述）。据我所知，Racket有两个迷你kanren库（都有描述）。它们都没有实现

condi

我的印象（读了《推理的Schemer》，minikanren.org称之为《书》）的一半）是，

condi

很重要：它是唯一通过交叉分支实现“公平析取”的条件，所以你不会在一个分支中陷入无限循环，而当其他分支终止时，它永远不会终止

编辑：我可能自己设法实现了

condi

。在推理的Schemer中，

conde

与

condi

的不同之处在于

mplus

的最后两个参数在

mplusi

中翻转，所以这就是我实现的。但据我所知，它并不比conde更公平。

。如果我正确理解了这个答案，那么就不会再有旧的

conde

行为了。新的

conde

的行为与旧的

condi

类似，因此不再需要单独的

condi

，因为

conde

正在执行它的工作。