clojure-core.logic

5गर्मी

1उत्तर

मैं core.logic के साथ प्रयोग कर रहा हूँ, और तर्क भाव में भाग लेने के अपने खुद के कस्टम डेटा प्रकार सक्षम करना चाहते हैं: (deftype Expression [node vars] ....) मूल रूप से यह एक गणितीय अभिव्यक्ति

6गर्मी

1उत्तर

core.logic

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

5गर्मी

1उत्तर

originalolog. fd/core.logic

में विशिष्ट fd/distinct का उपयोग करने का क्या फायदा है, जहां तत्व distincto के बजाय एक सीमित डोमेन में होंगे? निम्नलिखित सभी ([0 1] [1 0]) पर लौटें। ;;; With distincto (run* [q] (fresh [x y]

8गर्मी

3उत्तर

का उपयोग कर गणित समीकरणों को हल करने के लिए कैसे core.logic

मैं एक प्रश्न में core.logic में टाइप की कोशिश की: (run* [q] (== 0 (+ (* q q) (* 4 q) 4))) और शीघ्र कहते हैं, error: lvar cannot be cast to a number घटना में नहीं है कि मैं पूरी तरह से गलत तर्क है

5गर्मी

1उत्तर

क्लोजर core.logic

से मानचित्र के तत्व निकालने का मैं क्लोजर core.logic का उपयोग करके मानचित्र से डेटा खींचने की कोशिश कर रहा हूं। (run 10 [q] (fresh [?id ?type ?name] (membero ?type [:t2 :t1]) (== q [?

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

6गर्मी

2उत्तर

क्लोजर के `core.logic`

The following Clojure code में लक्ष्य आदेश दो अलग-अलग आदेशों में समान लक्ष्यों के साथ समान तर्क समस्या को हल करने के लिए core.logic का उपयोग करता है। ऑर्डर करने का यह विकल्प एक को जल्दी खत्म करने का क

6गर्मी

2उत्तर

आप बड़े क्लोजर प्रोग्राम में व्यावहारिक तरीके से core.logic का उपयोग कैसे करते हैं?

मुझे क्लोजर और core.logic मिश्रण करने के तरीके के आसपास अपने सिर को लपेटने में परेशानी हो रही है। उदाहरण के लिए कहते हैं कि मैं निम्नलिखित समस्या है: मैं संलग्न स्कोर के साथ महत्वपूर्ण मूल्य जोड़े की

29गर्मी

1उत्तर

परिमित डोमेन

का उपयोग करके अवरोही/आरोही समन्वय घोषित करने का अनुमान है, मैं एक अनुमानित, अवरोही लिखना चाहता हूं, जो घोषणा करता है कि पहला दिया गया समन्वय [y, x] दूसरे दिए गए समन्वय में उतर रहा है (बोर्ड के साथ बोर