clojure-core.logic

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 का उपयोग करता है। ऑर्डर करने का यह विकल्प एक को जल्दी खत्म करने का क

7गर्मी

3उत्तर

रिलेशनल डाटाबेस भाषाएं और तर्क प्रोग्रामिंग कितने समान हैं?

मौलिक अवधारणाओं और एक संबंधपरक डेटाबेस भाषा sql और prolog और क्लोजर के core.logic जैसे तर्क प्रोग्रामिंग भाषा के बीच कार्यान्वयन के संदर्भ में समानताएं और अंतर क्या हैं? क्या दो विनिमयशील हैं?

16गर्मी

2उत्तर

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

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

29गर्मी

1उत्तर

परिमित डोमेन

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

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 [?

11गर्मी

2उत्तर

core.logic

के साथ पारिवारिक पेड़ से पूछताछ करते समय डुप्लिकेट परिणामों को खत्म करना मैं core.logic के साथ एक पारिवारिक पेड़ का मॉडल कर रहा हूं। मैं run* प्रश्नों को देखना चाहूंगा और उन्हें डुप्लिकेशंस के बिना सभ