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)]

绝对是真的。

谢谢！