Aşağıdaki örnek kodda [[:a :A] [:b :B] [:c :C]] den [:b :B] kaldırmak istiyorum, ve (lvar) ile :B değiştirirseniz, artık çalışır: ;; Helper Function
(defne not-membero [x l]
([_ []])
([_ [?
Clojure core.logic kullanarak bir haritadan veri çekmeye çalışıyorum. Ben haritaya diğer bazı unsurlar eklemek o zaman eşleştirememişse Ancak (run 10 [q]
(fresh [?id ?type ?name]
(membero ?
Neden aşağıdaki iki örnekten anlamıyorum, birincisi (1) doğru değerini döndürürken, ikincisi () döndürür. (:key) sonucunu beklerdim ya da çözümü bulamadığı bir istisna, boş bir liste değil. (l/run* [q
The following Clojure code'da hedef siparişi, aynı mantık sorununu aynı amaçlarla iki farklı siparişte çözmek için core.logic10'u kullanır. Bu sipariş seçimi, birisinin hızlıca bitmesine ve diğerinin