clojure - Clojure core.logic conde; 如果条件失败/成功则退出

Question

当条件失败时，有谁知道如何退出/尝试 conde 中的下一个条件？

例如：

(run* q (conde 
   [(conditionA) (conditionB) (conditionC)]
   [(conditionA) (conditionD) (conditionE)]
   [(conditionF) (conditionB) (conditionG)]
))

如果第一个目标

[(conditionA) (conditionB) (conditionC)]

在条件 B 失败它应该立即停止，因为目标

[(conditionF) (conditionB) (conditionG)]

绝对是真的。

谢谢！