💪🏻 🅿️ 🌌 घातक विकल्प ☝🏽 🤽🏻 🤞🏾

अपने पिछले लेख ( en ) में, मैंने पांचवीं पीढ़ी के जापानी कंप्यूटर सिस्टम प्रोजेक्ट के इतिहास के बारे में बात की थी, जो 1982 में धूमधाम से शुरू हुआ था और 1992 में इसे तार्किक प्रोग्रामिंग के साथ दोहराया गया था। इसमें, मैं इस बारे में बात करूंगा कि कैसे अधिक स्पष्ट लिस्प के बजाय पांचवीं पीढ़ी की प्रणालियों के लिए प्रोलॉग को भाषा के रूप में चुना गया था। मुझे उन लोगों की घटना में दिलचस्पी है जो किसी विशेष भाषा के अनुयायियों को बनाने में सक्षम हैं। मुझे उम्मीद है कि इस लेख में मैं इसे समझा सकता हूं।

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

1981 में इस परियोजना को खोलने वाले सम्मेलन में, फ़ूची ने तार्किक प्रोग्रामिंग को अपनी मुख्य प्रोग्रामिंग पद्धति कहा। 1992 में फाइनल में, फुरुकावा ने याद किया कि 1976 में टोक्यो से इलेक्ट्रोटेक्निकल लैबोरेटरी (ETL) की टीम (जिसने बाद में पांचवीं पीढ़ी के सिस्टम प्रोजेक्ट को लॉन्च किया था) को लिस्प में व्यापक अनुभव था, और प्रोलॉग उनके लिए पूरी तरह अपरिचित था। 1976 में, सभी के साथ ऐसा ही था: मार्सिले के बाहर, केवल कुछ ही संस्थानों को प्रोलॉग के बारे में पता था।

फ़ूची को 1974 में कावासाकी ^{[7] का} एक लेख पढ़ने के बाद तार्किक प्रोग्रामिंग में दिलचस्पी हुई। ^[7] इससे फुरूकावा को 1976 में स्टैनफोर्ड रिसर्च इंस्टीट्यूट की अपनी यात्रा के दौरान प्रोलॉग की खोज करने का कारण बना। उन्होंने वास्तव में प्रोस्ट्रोग इंटरप्रेटर के पहले संस्करण के लिए फोरट्रान पर स्रोत पाया। मार्सिले के बाहर। 1974 में, डेविड एच.डी. वॉरेन एक प्रति एडिनबर्ग ले गए। और 1976 में, हैरी बैरो एडिनबर्ग से स्टैनफोर्ड रिसर्च इंस्टीट्यूट में एक प्रति लाए। वारेन ^[1] ने कहा: "हैरी स्वयं इस प्रणाली को शुरू नहीं कर सका और उसने फुरुकवा की एक प्रति दी।" 1976 में टोक्यो ईटीएल, फुरुकावा और कई अन्य शोधकर्ताओं ने प्रोलॉग के साथ प्रयोग करना शुरू किया। संयुक्त राज्य अमेरिका ने खुद को संक्रमण से बचने के लिए प्रोलॉग वायरस के वेक्टर के रूप में कार्य किया।

ईटीएल में अपने काम के परिणाम के रूप में, फुरुकावा ने कई प्रस्ताव डेटाबेस अनुक्रमित कार्यक्रमों का प्रदर्शन किया। जाहिरा तौर पर, सकारात्मक परिणामों ने ईटीएल को डेविड एच। डी। से डीईसी -10 के लिए प्रस्तावना का कार्यान्वयन प्राप्त करने की अनुमति दी। वॉरेन। फुरुकावा ने लिखा ^[2] :

मैंने DEC-10 प्रोलॉग पर रूबिक क्यूब असेंबली प्रोग्राम लिखा। यह कुशल था और अपेक्षाकृत कम समय (लगभग 20 सेकंड) में समस्या को हल किया। इस प्रकार की विशेषज्ञ प्रणालियों में, प्रोलोग पर पूंछ की पुनरावृत्ति का उपयोग करके निर्णय लेने की प्रणाली को प्रभावी ढंग से लागू किया जाता है। इस प्रयोग के बाद, मुझे विश्वास हो गया कि प्रस्तावना एक ज्ञान प्रसंस्करण भाषा है।

प्रस्तावना के इतिहास के बारे में जानकारी के लिए, मैंने एलन कोलेमरेर और फिलिप रोसेल की पुस्तक "द बर्थ ऑफ द प्रोग्लू" को पुस्तक में बदल दिया ^[3] । पहला कदम 1971 में Aix-Marseille University में Colmeroer के नेतृत्व में एक समूह द्वारा उठाया गया था। कई प्रारंभिक संस्करणों को बनाने के बाद, जो विशेष रूप से प्राकृतिक भाषाओं के प्रसंस्करण के लिए उपयोग किए जाते थे, "अंतिम संस्करण" 1973 में बनाया गया था। कावासाकी के प्रभाव में, वाक्यों का तर्क एक भाषा बन गया, और कथनों के एक निश्चित रूप ने कॉलिंग प्रक्रियाओं के लिए एक तंत्र के रूप में कार्य किया। यह संस्करण पहले था, जिसे "प्रस्तावना" कहा जाता था और प्राकृतिक भाषा प्रसंस्करण के अलावा अन्य कार्यों के लिए उपयोग किया जाता था। 1974 की शुरुआत में, वॉरेन के मार्सिले जाने के बाद, प्रस्तावना की एक प्रति एडिनबर्ग चली गई; और एडिनबर्ग से जल्दी से कई यूरोपीय संस्थानों (बुडापेस्ट, ल्यूवेन, लिस्बन) और कनाडा में फैल गया।

1974 से 1977 तक, मार्सिले में शुरू किए गए काम को जारी रखते हुए, कई आकर्षक प्रयोग किए गए। लिस्बन के हेल्डर कोल्हो ने "प्रोलॉग पर कैसे करें" पुस्तक के लिए कार्यक्रम एकत्र करना शुरू किया। 1975 में, वॉरेन ने DEC-10 प्रोलॉग पर प्रोलॉग कंपाइलर लिखना शुरू किया। जब यह 1977 में पूरा हुआ, तो यह पता चला कि 1973 मार्सिले दुभाषिया में एक बड़ा सुधार हासिल किया गया था। वॉरेन और उनके सहयोगियों ने कंपाइलर लिस्प के साथ तुलना करने की हिम्मत की, जो कला के काम के रूप में एकदम सही था, और दिलचस्प परिणाम मिला। लिस्प की तुलना में सूचियों को 30-50% तेजी से उलट दिया गया। परिणाम आश्चर्यजनक था, क्योंकि सूचियों को तार्किक शब्दों में अनुवादित किया जाता है और किसी अन्य शब्द की तरह एकीकृत रूप से संसाधित किया जाता है। लिस्प पर की तुलना में प्रतीकात्मक विभेदन (आंकड़ों के आधार पर) 1.1 से 2.6 गुना तेजी से किया गया था। 1977 में, लिस्प 18 साल का था, और प्रोलॉग 6 साल का था, और केवल कुछ ही लोगों ने 1971 से 1977 तक इसके विकास पर काम किया।

निम्नलिखित उदाहरण हैं, बड़े और बेकार। उन्हें प्रोलॉग की आकर्षक प्रकृति का प्रदर्शन करने के लिए चुना जाता है।

मान लें कि "मूव" के लिए प्रोग्राम का मतलब मूव (X1, Y1, X2, Y2) लिखते समय है कि घोड़ा सेल (X1, Y1) से सेल (X2, Y2) तक जा सकता है।

उपयुक्त कार्यक्रम होने के बाद, आप पूछ सकते हैं

?- move (U,U,V,V).

जिसका अर्थ होगा "घोड़ा एक चाल में एक कोठरी में जा सकता है" और उत्तर "नहीं" प्राप्त कर सकता है।

जब पूछा गया

?- move(U,U,X,Y),move(X,Y,V,V).

अर्थ "यदि दो चाल में शूरवीर तिरछे चल सकते हैं" तो हमें उत्तर मिलता है "हाँ", यदि आवश्यक हो तो सभी चालों के साथ। कार्यक्रम आगे होगा

move(X1,Y1,X2,Y2) :- diff1(X1,X2),diff2(Y1,Y2). move(X1,Y1,X2,Y2) :- diff2(X1,X2),diff1(Y1,Y2). % diff1(X,Y): X Y 1. diff1(X,Y) :- succ(X,Y). diff1(X,Y) :- succ(Y,X). % diff2(X,Z): X Z 2. diff2(X,Z) :- succ(X,Y),succ(Y,Z). diff2(X,Z) :- succ(Z,Y),succ(Y,X). % succ(X,Y): Y X. succ(1,2). succ(2,3). succ(3,4). succ(4,5). succ(5,6). succ(6,7). succ(7,8).

एक और उदाहरण। मान लीजिए कि हमारे पास सत्ताईस अंकों के सेट हैं जो निम्नलिखित सूचियों में निहित हैं

[1,9,1,6,1,8,2,5,7,2,6,9,2,5,8,4,7,6,3,5,4,9,3,8,7,4,3] [1,9,1,2,1,8,2,4,6,2,7,9,4,5,8,6,3,4,7,5,3,9,6,8,3,5,7] [1,8,1,9,1,5,2,6,7,2,8,5,2,9,6,4,7,5,3,8,4,6,3,9,7,4,3] [3,4,7,9,3,6,4,8,3,5,7,4,6,9,2,5,8,2,7,6,2,5,1,9,1,8,1] [7,5,3,8,6,9,3,5,7,4,3,6,8,5,4,9,7,2,6,4,2,8,1,2,1,9,1] [3,4,7,8,3,9,4,5,3,6,7,4,8,5,2,9,6,2,7,5,2,8,1,6,1,9,1]

इस शर्त के साथ कि प्रत्येक अंक d = 1, .., 9 में d की तीन घटनाएं होती हैं, जहां d एक दूसरे से d पदों से अलग होते हैं। इसे हल करने के लिए, हमें एक जटिल क्वेरी की आवश्यकता है

?-equals(List, [_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_]), sublist([9,_,_,_,_,_,_,_,_,_,9,_,_,_,_,_,_,_,_,_,9],List), sublist([8,_,_,_,_,_,_,_,_,8,_,_,_,_,_,_,_,_,8],List), sublist([7,_,_,_,_,_,_,_,7,_,_,_,_,_,_,_,7],List), sublist([6,_,_,_,_,_,_,6,_,_,_,_,_,_,6],List), sublist([5,_,_,_,_,_,5,_,_,_,_,_,5],List), sublist([4,_,_,_,_,4,_,_,_,_,4],List), sublist([3,_,_,_,3,_,_,_,3],List), sublist([2,_,_,2,_,_,2],List), sublist([1,_,1,_,1],List).

लेकिन कार्यक्रम अपने आप में बहुत छोटा है और इसमें केवल सामान्य विधेय हैं:

% sublist(X,Y) X Y sublist([],List). sublist([X|Xs],[X|Ys]) :- append(Xs,_,Ys). sublist(List,[Y|Ys]) :- sublist(List,Ys). append([],Y,Y). append([U|X],Y,[U|Z]) :- append(X,Y,Z). equals(X,X).

प्रस्तावना का प्रारंभिक इतिहास मुझे बहुत दिलचस्प लगता है: खरोंच से छह साल के केवल कुछ लोगों ने इसे एक सुरुचिपूर्ण, शक्तिशाली और प्रभावी भाषा में विकसित किया, जो अभी भी बिग फोर में है। लिस्प का प्रारंभिक इतिहास कम मनोरंजक नहीं है। 1950 के दशक में, मैककार्थी ने अपने सलाहकार प्रोजेक्ट के लिए भाषा को चुना। उम्मीदवार आइबीएम-वी न्यूवेल और साइमन और फोरट्रान संकलक थे, जिसे आईबीएम में बेकुस टीम द्वारा विकसित किया गया था। आईपीएल को सूचियों द्वारा दर्शाए गए लचीले डेटा संरचनाओं का लाभ था। दूसरी ओर, मैकार्थी को अपने पुनरावृत्ति तंत्र के कारण फोरट्रान पसंद आया। इसलिए उन्होंने FLPL (Fortran List Processing Language - Fortran List Processing Language) बनाने के लिए एक प्रयोग शुरू किया, जो सूची के साथ काम करने के लिए समर्थन के साथ फोरट्रान के संकलक का एक संस्करण है। आपको याद दिला दूं कि उस समय फ़ोर्ट्रान में यूज़र-डिफ़ाइंड फ़ंक्शंस के लिए समर्थन एक लंबे समय के कार्यान्वयन के समय के साथ एक अनैच्छिक संपत्ति थी, और फ़ंक्शन बॉडी एक लाइन तक सीमित थी। आश्चर्य नहीं कि मैकार्थी ने अपनी सूची प्रसंस्करण भाषा पर काम शुरू किया। नवंबर 1958 में, दुभाषिया पहले से ही MIT में काम कर रहा था। जल्द ही यह एक ऐसी भाषा के रूप में विकसित हो गया जिसे अब हम लिस्प के नाम से जानते हैं, जो एक परियोजना विवरण पर काम करने का एक दुष्प्रभाव था।

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

एक सार्वभौमिक कार्य एक तर्क के रूप में लिया गया, जो किसी कार्य का विवरण और उसके तर्कों का वर्णन करता है। नतीजतन, उसने तर्कों पर समारोह को निष्पादित करने का परिणाम वापस कर दिया। ऐसे फ़ंक्शन को लिखने के लिए, फ़ंक्शन परिभाषा के सिंटैक्स को बदलना आवश्यक था। डेटा का उपयोग करके इसका वर्णन करना आवश्यक था, और अब यह एक एस-अभिव्यक्ति है।

... EVAL का वर्णन करने और इसके बारे में प्रकाशित करने के बाद, स्टीव रसेल ने पूछा कि मैं EVAL का कार्यक्रम क्यों नहीं बनाऊंगा और एक दुभाषिया बनाऊंगा; मैंने कहा, ठीक है, अभ्यास के साथ सिद्धांत को भ्रमित मत करो, EVAL पढ़ने के लिए है, गणना के लिए नहीं। लेकिन उन्होंने जारी रखा और एक दुभाषिया बनाया। उन्होंने मशीन कोड, फिक्स्ड बग के 704 लाइनों में अपने लेख से EVAL संकलित किया और सभी को लिस्प दुभाषिया के बारे में बताया, जो वास्तव में था; सामान्य तौर पर, उस क्षण से, लिस्प ने उस रूप का अधिग्रहण किया, जिसे हम आज जानते हैं, एस-एक्सप्रेशन का रूप (स्टॉयन ^[5] द्वारा "द लिस्प स्टोरी" के लिए प्रतिलिपि में, 1974 में मैकार्थी के साथ एक वार्तालाप)

अपने लेख में, मैककार्थी ने एस-एक्सप्रेशंस: एटीओएम, ईक्यू, कॉन्स, सीएआर, सीडीआर पर संचालन का एक छोटा सा सेट वर्णित किया। उनके लिए, उन्होंने तार्किक कार्यों के रूप में QUOTE और COND को जोड़ा। LABEL और LAMBDA की स्थिति काफी पेचीदा है: EVAL सूचियों को फिर से लिखता है ताकि वे उनमें परमाणुओं के रूप में दिखाई दें, इसलिए LABEL और LAMBDA का उपयोग प्रक्रिया में किया जाता है।

हम सार्वभौमिक मैकार्थी फ़ंक्शन को कम्प्यूटेशनल दृष्टिकोण ^{[8] के} एक सुरुचिपूर्ण स्वयंसिद्ध के रूप में मान सकते हैं। लेकिन क्या सैद्धांतिक अनुसंधान लिस्प बन गया था। एक सार्वभौमिक फ़ंक्शन ने भाषा को बदल दिया ताकि न केवल डेटा, बल्कि फ़ंक्शन भी सूचियां बन जाएं। रसेल की प्रेरणा और एक प्रोग्रामर के रूप में उनकी क्षमताओं के लिए धन्यवाद, सार्वभौमिक समारोह एक दुभाषिया बन गया।

लोगों को प्रोलॉग से प्यार क्यों होता है, इस सवाल का जवाब देने के लिए, मैं कुछ उदाहरणों से बेहतर कुछ नहीं ले सकता। लिस्प के लिए एक बेहतर तरीका है: सार्वभौमिक ईवीएल फ़ंक्शन और इसके अविभाज्य एपीपीएलवाई फ़ंक्शन की जांच करें। वे लिस्प के वर्णन की शुरुआत में पाए जाते हैं। यहाँ पोन्स असिनोरम ^{[9] है} : यह मुझे लगता है कि जिन लोगों ने अध्ययन को छोड़ दिया, उन्होंने इसे इसी स्थान पर छोड़ दिया। पुल को पार करने के बाद, शुरुआती अंत तक यात्रा जारी रखता है और लिस्प का पालन करता है।

लिस्प और प्रोलॉग के गुणों में समानताएं हैं, और हमेशा, अंतहीन बहस का विषय रहा है। लिस्प में फोरट्रान प्रोग्राम लिखने वाले लोगों की रचनाओं को अनदेखा करें और टेम्पलेट समर्थन के साथ पास्कल जैसे प्रोलॉग का उपयोग करने वाले लोग। संक्षेप में, मैक्कार्थी को "अश्लील प्रोग्रामिंग" ^[4] कहा जाने वाली हर चीज को नजरअंदाज करना चाहिए। इस बहस में, यह केवल ज़ेन भाषा के ज्ञान के साथ लिखे गए कोड पर विचार करने के लायक है। हम दूसरी बार ज़ेन प्रोलॉग का वर्णन छोड़ देंगे। लिस्प के लिए, यह निम्नानुसार होगा।

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

जैसे ही एक शुरुआत में लिस्प के ज़ेन सीखते हैं, उनके लिए बुनियादी दुभाषिया की सीमित क्षमताओं के विस्तार के रूप में किसी भी कार्यक्रम को लिखना स्वाभाविक हो जाता है। और इन सात आदिमों को दफन नहीं किया जाता है और दुभाषिया समाप्त होते ही उन्हें नजर से नहीं हटाया जाता है। इसके विपरीत, वे उपयोगकर्ता कोड में बहुत आम हैं। गिलबर्ट ने सेट सिद्धांत के विरोधियों को बताया: "कोई भी हमें कैंटर द्वारा हमारे लिए बनाए गए स्वर्ग छोड़ने के लिए मजबूर नहीं करेगा।" लिस्पर्स मैकार्थी द्वारा बनाए गए स्वर्ग के संबंध में एक ही बात का अनुभव करते हैं।

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

घातक विकल्प

More articles: