ऐल्जब्रेइक लॉजिक फंक्शनल प्रोग्रामिंग लैंग्वेज

बीजीय तर्क कार्यात्मक प्रोग्रामिंग भाषा, जिसे ALF के रूप में भी जाना जाता है, एक प्रोग्रामिंग भाषा है जो कार्यात्मक (प्रोग्रामिंग) और तर्क प्रोग्रामिंग तकनीकों को जोड़ती है। इसकी नींव समानता के साथ हॉर्न क्लॉज लॉजिक है जिसमें तर्क प्रोग्रामिंग के लिए विधेय और हॉर्न क्लॉज और कार्यात्मक प्रोग्रामिंग के लिए फ़ंक्शन और समीकरण शामिल हैं।

ALF को दोनों प्रोग्रामिंग प्रतिमानों के वास्तविक एकीकरण के लिए डिज़ाइन किया गया था, और इस प्रकार किसी भी कार्यात्मक अभिव्यक्ति का उपयोग शाब्दिक रूप से किया जा सकता है और समीकरणों की स्थितियों में मनमाने ढंग से भविष्यवाणी की जा सकती है। एएलएफ का परिचालन शब्दार्थ कार्यात्मक भावों का मूल्यांकन करने के लिए शाब्दिक और संकीर्णता को हल करने के लिए संकल्प नियम पर आधारित है। संभावित संकीर्ण चरणों की संख्या को कम करने के लिए, एक सबसे बाईं ओर की बुनियादी संकीर्णता रणनीति का उपयोग किया जाता है, जिसका दावा किया जाता है, इसे कुशलता से लागू किया जा सकता है। संकुचित चरण लागू करने से पहले शर्तों को फिर से लिखकर सरल किया जाता है और यदि दोनों पक्षों के शीर्ष पर अलग-अलग रचनाकार हैं तो समीकरणों को अस्वीकार कर दिया जाता है। पुनर्लेखन और अस्वीकृति के परिणामस्वरूप खोज पेड़ की एक बड़ी कमी होती है और एक परिचालन शब्दार्थ उत्पन्न होता है जो प्रोलॉग (प्रोग्रामिंग भाषा) की तुलना में अधिक कुशल है। प्रोलॉग की संकल्प रणनीति। प्रोलॉग के समान, एएलएफ व्युत्पत्ति वृक्ष में गहराई से पहली खोज के अनुरूप बैकट्रैकिंग रणनीति का उपयोग करता है।

एएलएफ प्रणाली को संकल्प, संकीर्णता, पुनर्लेखन और अस्वीकृति के संयोजन के कुशल कार्यान्वयन के लिए डिजाइन किया गया था। ALF प्रोग्राम्स को एक अमूर्त मशीन के निर्देशों में संकलित किया जाता है। अमूर्त मशीन वॉरेन सार मशीन (डब्ल्यूएएम) पर आधारित है जिसमें संकीर्णता और पुनर्लेखन को लागू करने के लिए कई एक्सटेंशन हैं। इस अमूर्त मशीन के वर्तमान एएलएफ कार्यान्वयन कार्यक्रमों में सी (प्रोग्रामिंग भाषा) में लिखे एक एमुलेटर द्वारा निष्पादित किया जाता है।

करनेगी मेलों विश्वविद्याल कृत्रिम होशियारी  रिपॉजिटरी में, एएलएफ को एआई प्रोग्रामिंग भाषा के रूप में शामिल किया गया है, विशेष रूप से कार्यात्मक/तर्क प्रोग्रामिंग भाषा प्रोलॉग कार्यान्वयन के रूप में। एक उपयोगकर्ता पुस्तिका भाषा और प्रणाली के उपयोग का वर्णन उपलब्ध है। एएलएफ सिस्टम यूनिक्स के तहत चलता है और एक कस्टम मालिकाना सॉफ्टवेयर लाइसेंस के तहत उपलब्ध है जो मूल्यांकन, अनुसंधान और शिक्षण उद्देश्यों के लिए उपयोग करने का अधिकार देता है लेकिन व्यावसायिक या सैन्य उपयोग का नहीं।

बाहरी संबंध

 * Publications of Michael Hanus, including many articles relevant to the design and theory of ALF
 * Information about getting and installing the ALF system