ऐल्जब्रेइक लॉजिक फंक्शनल प्रोग्रामिंग लैंग्वेज
| Paradigm | multi-paradigm: logic, functional |
|---|---|
| वेबसाइट | Getting and installing ALF |
बीजीय तर्क कार्यात्मक रोग्रामिंग भाषा, जिसे एएलएफ भी कहा जाता है, एक प्रोग्रामिंग भाषा है जो कार्यात्मक और तार्किक प्रोग्रामिंग तकनीकों को जोड़ती है। इसकी नींव समानता के साथ हॉर्न क्लॉज लॉजिक है जिसमें लॉजिक प्रोग्रामिंग के लिए प्रेडिकेट्स और हॉर्न क्लॉज और फंक्शनल प्रोग्रामिंग के लिए फंक्शन और समीकरण शामिल हैं।
एएलएफ को दोनों प्रोग्रामिंग प्रतिमानों के वास्तविक एकीकरण के लिए डिज़ाइन किया गया था, और इस प्रकार किसी भी कार्यात्मक अभिव्यक्ति का उपयोग एक लक्ष्य में किया जा सकता है, साहित्यिक और मनमाना विधेय समीकरणों की स्थिति में हो सकते हैं। एएलएफ का परिचालन सिमेंटिक्स कार्यात्मक अभिव्यक्तियों का मूल्यांकन करने के लिए शाब्दिक और संकीर्णता को हल करने के लिए संकल्प नियम पर आधारित है। संभावित संकीर्ण चरणों की संख्या को कम करने के लिए, एक सबसे बाईं ओर की बुनियादी संकीर्णता रणनीति का उपयोग किया जाता है, जिसका दावा किया जाता है, इसे कुशलतापूर्वक कार्यान्वित किया जा सकता है। एक संकीर्ण कदम लागू करने से पहले शर्तों को फिर से लिखकर सरल किया जाता है और यदि दोनों पक्षों के शीर्ष पर अलग-अलग रचनाकार हैं तो समीकरणों को खारिज कर दिया जाता है। माना जाता है कि पुनर्लेखन और अस्वीकृति के परिणामस्वरूप सर्च ट्री में बड़ी कमी आती है और परिचालन शब्दार्थ उत्पन्न होता है जो प्रोलॉग की संकल्प रणनीति से अधिक कुशल है। इसी तरह प्रोलॉग के लिए, एएलएफ व्युत्पत्ति वृक्ष में गहराई-पहली खोज के अनुरूप एक बैकट्रैकिंग रणनीति का उपयोग करता है।
एएलएफ सिस्टम को संकल्प, संकीर्णता, पुनर्लेखन और अस्वीकृति के संयोजन के कुशल कार्यान्वयन के लिए डिजाइन किया गया था। एएलएफ प्रोग्राम एक सार मशीन के निर्देशों में संकलित हैं। अमूर्त मशीन वॉरेन एब्स्ट्रैक्ट मशीन (डब्ल्यूएएम) पर आधारित है जिसमें संकुचन और पुनर्लेखन को लागू करने के लिए कई विस्तृति हैं। इस सार मशीन के वर्तमान एएलएफ कार्यान्वयन कार्यक्रमों में सी में लिखे एक एमुलेटर द्वारा निष्पादित किया जाता है।
कार्नेगी मेलन यूनिवर्सिटी आर्टिफिशियल इंटेलिजेंस रिपॉजिटरी में,[1] एएलएफ को एआई प्रोग्रामिंग लैंग्वेज के रूप में शामिल किया गया है, विशेष रूप से एक फंक्शनल/लॉजिक प्रोग्रामिंग लैंग्वेज प्रोलॉग कार्यान्वयन के रूप में। [2] उपयोगकर्ता पुस्तिका [3] भाषा और सिस्टम के उपयोग का वर्णन उपलब्ध है। एएलएफ सिस्टम [4] यूनिक्स के तहत चलता है और एक कस्टम मालिकाना सॉफ्टवेयर लाइसेंस के तहत उपलब्ध है जो "मूल्यांकन, शोध और शिक्षण उद्देश्यों" के लिए उपयोग करने का अधिकार देता है, लेकिन वाणिज्यिक या सैन्य उपयोग के लिए नहीं। [5]
करनेगी मेलों विश्वविद्याल कृत्रिम होशियारी रिपॉजिटरी में, एएलएफ को एआई प्रोग्रामिंग भाषा के रूप में शामिल किया गया है, विशेष रूप से कार्यात्मक/तर्क प्रोग्रामिंग भाषा प्रोलॉग कार्यान्वयन के रूप में।[2] एक उपयोगकर्ता पुस्तिका[3] भाषा और प्रणाली के उपयोग का वर्णन उपलब्ध है। एएलएफ सिस्टम[4] यूनिक्स के तहत चलता है और एक कस्टम मालिकाना सॉफ्टवेयर लाइसेंस के तहत उपलब्ध है जो मूल्यांकन, अनुसंधान और शिक्षण उद्देश्यों के लिए उपयोग करने का अधिकार देता है लेकिन व्यावसायिक या सैन्य उपयोग का नहीं।[5]
संदर्भ
- ↑ "सीएमयू आर्टिफिशियल इंटेलिजेंस रिपॉजिटरी". Carnegie Mellon University. 1995-02-13. Archived from the original on 23 June 2007. Retrieved 2007-06-22.
- ↑ "ALF: Algebraic Logic Functional programming language". CMU Artificial Intelligence Repository. Carnegie Mellon University. 1995-02-13. Archived from the original on 10 May 2007. Retrieved 2007-06-22.
- ↑ Hanus, Michael; Andreas Schwab (1995-02-13). "ALF उपयोगकर्ता का मैनुअल" (PDF). Institut für Informatik, Christian-Albrechts-Universität zu Kiel. Archived (PDF) from the original on 11 July 2007. Retrieved 2007-06-22.
- ↑ Hanus, Michael. "एएलएफ सिस्टम". Institut für Informatik, Christian-Albrechts-Universität zu Kiel. Archived from the original on 25 June 2007. Retrieved 2007-06-22.
- ↑ Hanus, Michael. "ALF लाइसेंस समझौता". The ALF System. Institut für Informatik, Christian-Albrechts-Universität zu Kiel. Archived from the original on 2 December 2015. Retrieved 2020-03-06.
बाहरी संबंध
- Publications of Michael Hanus, including many articles relevant to the design and theory of ALF
- Information about getting and installing the ALF system
 | This computer science article is a stub. You can help Wikipedia by expanding it. |
