Clojure:core.logic，conde，运行1 上下文

根据core.logic文档，conde实际上是condi，这意味着它可能不会以与mini-kanren相同的顺序返回

问题: 因此，如果我有这样的东西：

(run 1 [q]
  (conde ...))

core.logic/mini-kanren是否可能给我不同的结果，因为：

• conde可以按不同顺序返回结果
• 运行1只接受其中一个元素，因此这两个元素可能具有不同的第一个元素

---

谢谢

是的，这是可能的

conde

不保证答案顺序（这在很大程度上取决于实现，因为所有备选方案都是并行探索的）

在玩core.logic时，它多次咬我，因为单元测试假定了特定的顺序

好吧，在《理性策划师》第二版中，

conde

将成为第一版

condi