我试图在clojure中使用mini-kanren的实现。但一直在努力理解cond-a cond-u和cond-e之间的区别。我似乎很清楚cond-e,但对cond-a和cond-u的理解是安静 ...
確定! 回上一頁