unification

16गर्मी

4उत्तर

मैं जावा या सी # जैसी भाषा में एकीकरण एल्गोरिदम को कैसे कार्यान्वित कर सकता हूं?

मैं अपने ऐ पाठ्यपुस्तक के माध्यम से काम कर रहा हूँ मुझे मिल गया और मैं अपने अनुभाग के लिए पिछले होमवर्क समस्या पर आए हैं: "। लागू एकीकरण एल्गोरिथ्म अपनी पसंद के किसी भी भाषा में पेज 69 पर उल्लिखित" पे

21गर्मी

4उत्तर

पैटर्न मिलान और एकीकरण के बीच मतभेद?

मैंने सोचा कि मैं समझता हूं कि स्कैला और हास्केल में पाई जाने वाली पैटर्न कैसे प्रोलॉग में मिली एकीकरण से अलग है लेकिन प्रोलॉग के मेरे गलतफहमी महान हैं। किसी साधारण द्वारा हल की जाने वाली कुछ सरल समस्

6गर्मी

3उत्तर

प्रथम आदेश तर्क में एकीकरण का वास्तविक विश्व उदाहरण?

मुझे पता है कि यह प्रोग्रामिंग प्रश्न का केवल एक हिस्सा है, लेकिन फिलहाल, मैं तर्क प्रोग्रामिंग का थोड़ा सा कर रहा हूं। एक बात जो मैं अभी भी सही ढंग से समझ नहीं पा रहा हूं वह पहले आदेश तर्क में एकीकरण

5गर्मी

1उत्तर

हास्केल

संपादित करें में त्वरित प्रकार परिवर्तक संपादित करें: हल किया गया। मुझे पता नहीं था कि स्रोत फ़ाइल में भाषा विस्तार को सक्षम करने से जीएचसीआई में भाषा विस्तार सक्षम नहीं हुआ है। समाधान जीएचसीआई में :s

8गर्मी

3उत्तर

Prolog

में हास्केल में बराबर चर, जैसे मिलान prolog में पैटर्न, हम निम्नलिखित की तरह कुछ कर सकते हैं: myFunction a (a:xs) = ... यह जब myFunction के 1 तर्क सूची के पहले आइटम के समान है, है यह दूसरे तर्क में

12गर्मी

1उत्तर

हिंडली-मिलनर एल्गोरिदम: बाइंडिंग को लागू करने के लिए प्रकारों का उपयोग

मैं Mark Jones और Oleg Kiselyov के ट्यूटोरियल के बाद, हिंडली-मिलनर प्रकार अनुमान एल्गोरिदम लागू कर रहा हूं। इन दोनों के रूप applyBindings :: TyEnv -> Type -> Type दिया Type को TyEnv में tyvar -> ty

5गर्मी

2उत्तर

एसडब्ल्यूआई-प्रोलॉग एक ही नियम के लिए एक उद्धृत और अनिश्चित स्ट्रिंग (बिना रिक्त स्थान) को एकीकृत करता है?

मान लें मैं निम्नलिखित नियम है: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(Y). और फिर मैं इसे चलाने क

11गर्मी

1उत्तर

प्रोलॉग बनाम = सूचियों के साथ

यह L is [1,2,3,4] क्यों विफल रहता है, और यह काम करता है: L = [1,2,3]? लेकिन L is 1, और L = 1 दोनों एक ही काम करते हैं।

7गर्मी

2उत्तर

जीएचसी एसटी मोनैड कोड को टाइप वैरिएबल को एकीकृत करने में असमर्थ के रूप में अस्वीकार करता है?

मैं निम्नलिखित समारोह लिखा है: (.>=.) :: Num a => STRef s a -> a -> Bool r .>=. x = runST $ do v <- readSTRef r return $ v >= x लेकिन जब मैं संकलन करने की कोशिश की मैं निम्नलिखित त्रुटि मिली: Cou

5गर्मी

2उत्तर

Prolog में एकीकरण के बिना एक सूची के सभी सदस्यों को हटाया जा रहा है

संभव डुप्लिकेट: Prolog delete: doesn't delete all elements that unify with Element Prolog में अगर आप इस बारे में: delete([(1,1),(1,2),(1,1),(3,4)],(1,_),L). परिणाम हो जाएगा: L = [ (1, 2), (3, 4)].