Clojure：core.logic，conde，运行1

Question

上下文

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

题

因此，如果我具有以下形式：

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

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

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

谢谢！

Answer 1

是的，有可能。 conde不保证答案的顺序（这在很大程度上取决于实现，并且无关紧要，因为所有替代方案都是并行探索的）。

在使用core.logic时，它多次咬我，因为单元测试采用了特定的顺序。

据我所知，在合理的策士第二版， conde将成为第1版condi 。