Tag: clojure core.logic

conda，condi，conde，condu

我正在阅读Reasoned Schemer 。 我有一些关于conde如何工作的直觉。 然而，我无法findconde / condu / condu / condu做什么的正式定义。 我知道https://www.cs.indiana.edu/~webyrd/，但似乎有例子，而不是定义。 conde ， condu ， condu有什么正式的定义吗？