कर सकता है, मैंने प्रोलॉग और लॉजिकल प्रोग्रामिंग के बारे में एक संक्षिप्त लेख पढ़ा है। अगर तर्कसंगत कार्यक्रम बीजगणित कर सकता है तो मैं उत्सुक हूं। जैसा कि आप पूछ सकते हैं कि एक्स के वेरिएबल समीकरण 5 + एक्स = 7 में क्या है और -2 का उत्तर प्राप्त करें?मुझे उत्सुकता है यदि लॉजिकल प्रोग्राम बीजगणित
उत्तर
इस बारे में कैसे? ध्यान दें कि यह केवल X+Y=Z
के लिए काम करेगा।
equation(X,Y,Z):- var(X),X is Z-Y.
equation(X,Y,Z):- var(Y),Y is Z-X.
equation(X,Y,Z):- var(Z),Z is X+Y.
आप पूछ सकते हैं:
equation(5,X,7).
X = 2 .
?- equation(2,5,X).
X = 7.
?- equation(X,5,7).
X = 2
सभी गंभीर Prolog सिस्टम परिमित डोमेन से अधिक बाधा तर्क प्रोग्रामिंग प्रदान करते हैं सीएलपी (FD) छोटे के लिए कहा जाता है, जिसके साथ आप आसानी से ऐसे कई समीकरणों को हल कर सकते हैं। उदाहरण के लिए, SICStus Prolog, SWI और याप के साथ:
?- use_module(library(clpfd)).
true.
?- 5+X #= 7.
X = 2.
जाहिर है, इस सवाल का जवाब 2 के बजाय -2 है। पुस्तकालय (clpq) के साथ राशन जैसे अन्य डोमेन पर बाधा तर्क प्रोग्रामिंग भी देखें।
हां, प्रोल बीजगणित कर सकते हैं।
यदि आप Prolog और CAS (कंप्यूटर बीजगणित प्रणाली) के लिए Google आपको बहुत सारे परिणाम मिलेंगे।
यदि आप समझते हैं कि Prolog = Syntactic unification + backward-chaining + REPL,
तो पता चलता है कि यह एकीकरण है कि समस्याओं/समीकरणों को हल करने के दिल, आप संतुलन संबंधी तर्क जो हल करने के लिए प्रयोग किया जाता है में पड़ सकते हैं है समस्याएं जो बराबर होती हैं (=)। यह वही तर्क automated theorem provers और proof assistants के साथ भी प्रयोग किया जाता है।
यदि आप here देखते हैं तो आपको prolog.ml मिलेगा जो इस स्वचालित प्रमेय प्रदाता में एकीकरण और पिछड़े-श्रृंखला को लागू करता है।
आपको term rewriting को भी देखना चाहिए और शर्तों का उपयोग करके समीकरणों को हल करने के विज्ञान के बारे में अधिक जानने के लिए Google को पुनः लिखने के लिए Google की खोज करनी चाहिए।
बहुत अच्छे पॉइंटर्स! अगर आप अधिक जानकारी के लिए पॉइंटर्स देने से पहले उन अवधारणाओं को संक्षेप में सारांशित कर सकते हैं तो आपका उत्तर और भी उपयोगी होगा। – crackjack
- 1. संबंधित बीजगणित
- 2. उत्सुकता से रिकर्सिव रिलेशनशिप लोड
- 3. लॉजिकल टाइप्स
- 4. रैखिक बीजगणित पुस्तकालय?
- 5. बूलियन बीजगणित सरलीकरण
- 6. MATLAB: लॉजिकल इंडेक्सिंग
- 7. क्लोजर बीजगणित डेटा प्रकार
- 8. सरल वर्ग जड़ों बीजगणित
- 9. हास्केल रैखिक बीजगणित?
- 10. लॉजिकल ऑपरेटर और PHP नियमित अभिव्यक्ति
- 11. यदि ओपनआईडी, मुझे अभी भी
- 12. कंप्यूटर बीजगणित सिस्टम का परिचय?
- 13. क्या Grails में पूरा रिकॉर्ड लाने के लिए उत्सुकता है?
- 14. रैला एलजीएस रैखिक बीजगणित लिब
- 15. संबंधपरक बीजगणित के बजाय एसक्यूएल
- 16. यदि मैं जावा में प्रोग्राम करता हूं तो मुझे क्या ग्रहण डाउनलोड करना चाहिए?
- 17. एफ़िन के-बीजगणित गणना के लिए लाइब्रेरी?
- 18. एसक्यूएल सर्वर नल लॉजिकल एक्सओआर
- 19. यदि कोई कॉलम शून्य है
- 20. एसक्यूएल और लॉजिकल ऑपरेटर और नल चेक
- 21. यदि मुझे केवल डीबी और एपीआई
- 22. लॉजिकल एसएसई इंट्रिनिक्स के बीच क्या अंतर है?
- 23. रचनात्मक-बीजगणित पैकेज का उपयोग कर एक बीजगणित मॉड्यूल को परिभाषित करना
- 24. रिलेशनल बीजगणित एसक्यूएल के बराबर "नहीं"
- 25. हास्केल में कोई स्पैस रैखिक बीजगणित पैकेज?
- 26. एक कंप्यूटर बीजगणित प्रणाली का निर्माण
- 27. मैं लॉजिकल या लॉजिकल के साथ और एक jQuery विशेषता चयनकर्ता के भीतर कैसे गठबंधन करूं?
- 28. क्या स्थिर तरीके उत्सुकता से संकलित (JIT'ed) हैं?
- 29. क्या सी # में एक्सएनओआर (लॉजिकल बाइकंडिशन) ऑपरेटर है?
- 30. स्कैला के लिए रैखिक बीजगणित पुस्तकालय?
कृपया एक दृष्टिकोण के लिए [अनुकूलन] (http://stackoverflow.com/questions/37142066/optimisation-in-swi-prolog) देखें जो गैरलाइन समीकरणों (कभी-कभी) के साथ भी काम करता है। – mat
एक [प्रोलॉग में समीकरण सरलीकृत] का कार्यान्वयन है (http://cmu-ai-mirror.bvulpes.com/afs/cs/project/ai-repository/ai/lang/prolog/code/math/algebra/ 0.html) जो 1 9 87 में लिखा गया था। मुझे प्रोलॉग में [Knuth-Bendix समापन एल्गोरिदम] (https://github.com/nick8325/completion) का हालिया कार्यान्वयन भी मिला। –