minikanren

5गर्मी

1उत्तर

core.logic का आउटपुट वही मान दोहराया क्यों देता है?

मैं core.logic (require [clojure.core.logic :as l]) (l/run* [q] (l/fresh [a b c] (l/membero a [1]) (l/membero b [4 5]) (l/membero c [1 2]) (l/== q [a b]))) में यह करने क

clojure clojure-core.logic minikanren 2012-10-05

---

7गर्मी

2उत्तर

मिनीकेरेन नाम हमेशा 'ओ` के साथ क्यों समाप्त होते हैं?

सभी मिनीकेरेन संबंध o पत्र के साथ समाप्त होते हैं। इसके लिए प्रेरणा क्या है? मुझे लगता है कि क्लोजर कोर.लोगिक लाइब्रेरी यह भी करती है।

clojure scheme logic minikanren 2012-02-06

---

16गर्मी

2उत्तर

core.logic में 'बाहरी शामिल' अनुकरण कैसे करें?

मैंने अभी कोर.लॉगिक के साथ खेलना शुरू कर दिया है, और इस पर काम करने के लिए मैं कुछ सरल कार्यान्वित करने की कोशिश कर रहा हूं जो कि एक समस्या के समान है जिसे मैं वर्तमान में पेशेवर रूप से काम कर रहा हूं

clojure logic clojure-core.logic minikanren 2012-01-02

---

13गर्मी

2उत्तर

मिनी-कानरेन के निष्पादन मॉडल को समझना

एसआईसीपी का अध्याय 5 एक रजिस्टर मशीन के मेटा सर्कुलर मूल्यांकनकर्ता इंटर्न की व्याख्या करता है। क्या ऐसी कोई चीज है जो योजना प्राइमेटिव के मामले में समान प्रकार के मिनी-कानरेन प्रदान करती है? मुझे पता

clojure scheme logic minikanren 2012-04-12

---

6गर्मी

1उत्तर

core.logic

के साथ अद्वितीय डीएजी माता-पिता को सूचीबद्ध करना यहां एक (उम्मीद है) सरल लॉजिकल प्रोग्राम है जिसे मैं थोड़ी देर के लिए अटक गया हूं। मेरे पास कोर.लॉगिक में किनारे के संबंध में प्रतिनिधित्व किया गया है,

clojure logic-programming clojure-core.logic minikanren 2012-09-24

---