minikanren

6गर्मी

1उत्तर

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

5गर्मी

1उत्तर

Prolog मिलान बनाम miniKanren एकीकरण

Prolog में -। आर्टिफिशियल इंटेलिजेंस के लिए प्रोग्रामिंग, Bratko पृष्ठ पर निम्न 58. "Prolog में मिलान क्या तर्क में एकीकरण कहा जाता है से मेल खाती है फिर भी, हम शब्द एकीकरण क्योंकि मिलान से बचने का कह

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]))) में यह करने क

8गर्मी

1उत्तर

एक ग्राफ डीबी बनाम एक प्रोलॉग (या मिनीकेरेन)

हाल ही में मैं नियो 4j जैसे ग्राफ डेटाबेस और प्रोलॉग और मिनीकेरेन में तर्क प्रोग्रामिंग में देख रहा हूं। जो मैंने अभी तक सीखा है, उससे दोनों तथ्यों और उनके बीच संबंधों को निर्दिष्ट करने की अनुमति देते

7गर्मी

2उत्तर

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

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

16गर्मी

2उत्तर

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

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

13गर्मी

2उत्तर

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

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