我曾嘗試在clojure中使用mini-kanren的實現。但一直在努力去理解cond-a cond-u和cond-e之間的區別。我似乎對cond-e很清楚,但對cond-a和cond-u的理解卻很不好。 cond-e ...
確定! 回上一頁