हाय निवासियों , यह घोषणात्मक प्रोग्रामिंग के बारे में बात करने का समय है। यह तब होता है जब आप संस्थान में रगड़े गए थे कि कार्यक्रमों को कोडित नहीं किया जा सकता है, लेकिन तैयार किया गया है। यह अनिवार्यता के विपरीत है, जो अब सभी प्रोग्रामिंग भाषाओं में है। आइए इसे कार्यात्मक दृष्टिकोण का श्रेय दें, यह यहां का भाई है, और यह अपने काम को आधुनिकता और गहराई से कर रहा है, यहां आपके पास C ++ और javascripts में लैम्ब्डा है, शायद एक हास्केल है?

लेकिन दुखद बात तार्किक, उत्पादक प्रोग्रामिंग के साथ है, जिसे केवल प्रोलॉग पर दर्शाया जा सकता है।

यहां मैं एक दिलचस्प विचार को फेंकने जा रहा हूं जो हब्र प्रभाव के लिए है। क्यों नहीं एक प्रोग्रामिंग समस्या को हल करने के बारे में एक लेख लिखें। इसलिए, मुझे लगता है कि बहुत सारे पोस्ट निकले। मैं विषयों के चयन में शामिल होता हूं। यहां प्रतिभागियों के बीच विकास और प्रतिस्पर्धा की एक नई दिशा है, हम दिखाते हैं कि हम वास्तव में समस्याओं को कैसे हल कर सकते हैं, ताकि सभी पाठकों को अपनी राय व्यक्त करने और अपनी गलतियों को इंगित करने में रुचि हो, क्योंकि आपके पास जावास्क्रिप्ट और सी ++ में पर्याप्त विशेषज्ञ हैं, शायद pythognoses अभी भी भर में आते हैं ...

कुल में, लेख का उद्देश्य : लेख लिखने के समय हल करने के लिए एक समस्या जो अभी तक पोस्ट की शुरुआत में ज्ञात नहीं थी और अपने विचार कोड को दिखाए, इस पाठ्यक्रम और प्राप्त समाधान के साथ इसकी पुष्टि करें। लेकिन इस जाँच के लिए आपको एक मध्यस्थ की आवश्यकता होती है, आप स्वयं अपनी समीक्षा नहीं करते हैं। मैं इस भूमिका में leetcode.com को चुनूंगा ।

1. तो

यहां हम सबसे कठिन लोगों के निकटतम कार्य का चयन करते हैं, और इसे प्रोलॉग पर हल करने का प्रयास करते हैं, यह प्रदर्शित करना आवश्यक है कि यह कितना मनोरंजक है।

2. कार्य 44. वाइल्डकार्ड मिलान

एक इनपुट स्ट्रिंग (एस) और एक पैटर्न (पी) को देखते हुए, वाइल्डकार्ड पैटर्न को ''? और '*'।

'?' किसी एक वर्ण से मेल खाता है।
'*' वर्णों के किसी भी क्रम से मेल खाता है (खाली अनुक्रम सहित)।
मिलान पूरे इनपुट स्ट्रिंग (आंशिक नहीं) को कवर करना चाहिए।

ध्यान दें:

s खाली हो सकता है और इसमें केवल लोअरकेस अक्षर az होता है।
p खाली हो सकता है और इसमें केवल लोअरकेस अक्षर az और वर्ण होते हैं? या *।
उदाहरण 1:
इनपुट:
s = "आ"
पी = "ए"
आउटपुट: झूठा
स्पष्टीकरण: "ए" पूरे स्ट्रिंग "आ" से मेल नहीं खाता है।

उदाहरण 2:
इनपुट:
s = "आ"
पी = '*'
आउटपुट: सच

स्पष्टीकरण: '*' किसी भी क्रम से मेल खाता है।

उदाहरण 3:
इनपुट:
s = "cb"
p = "?"
आउटपुट: झूठा
व्याख्या: ''? 'c' से मेल खाता है, लेकिन दूसरा अक्षर 'a' है, जो 'b' से मेल नहीं खाता है।

उदाहरण 4:
इनपुट:
s = "adceb"
पी = "* ए * बी"

आउटपुट: सच
स्पष्टीकरण: पहला "तारा" खाली अनुक्रम से मेल खाता है, जबकि दूसरा * "डीएसई" के प्रतिस्थापन से मेल खाता है।

उदाहरण 5:
इनपुट:
s = "acdcb"
p = "a * c? b"
आउटपुट: झूठा

3. यह चाल है

वाह))) (मॉडरेटर मुझे माफ करते हैं), एक कार्य था जिसमें एक विधेय को लागू करना आवश्यक है। चमत्कार, आपको कोई I / O भी नहीं करना है, जो ऐसे वातावरण में मुश्किल हो सकता है। इनपुट पर, सरल प्रकार; आउटपुट पर, बूलियन। Brainer।

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

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

atom_to_list('',[]). %-      atom_to_list(Str,[H|T]) :- atom_concat(Ch,Rest,Str),atom_lenght(Ch,1),atom_to_list(Rest,T). %-  ,

मेरी अंग्रेजी के लिए क्षमा करें, हम वर्तमान में, swi-prolog.org पर सर्वोत्तम वातावरण में इसकी जाँच करेंगे, यहाँ एक ऑनलाइन संपादक है:

HIPS। यह वही है जो किसी को धोखा नहीं देने का मतलब है, यह प्रवेश की एक उच्च सीमा है, पुस्तकालय की भविष्यवाणी के लिए कॉल सही नहीं हैं। हम परमाणुओं के साथ काम करने के लिए सही अंतर्निहित विधेयकों की तलाश कर रहे हैं।
और तस्वीर में एक संदेश है कि चर एच लावारिस निकला, तर्क में कुछ दोष, सूची का प्रमुख पहला चरित्र है, और इसके स्थान पर Ch होना चाहिए।

यहाँ कुछ प्रलेखन है:

atom_concat (? Atom1 ,? Atom2 ,? Atom3)
Atom3 Atom1 और Atom2 का संयोजन बनाता है। कम से कम दो तर्कों को परमाणुओं के लिए त्वरित किया जाना चाहिए। यह विधेय भी मोड के लिए अनुमति देता है (-, -, +), गैर-नियतात्मक रूप से विभाजित> 3 तर्क को दो भागों में (जैसा कि परिशिष्ट / 3 सूचियों के लिए करता है)। SWI-Prolog परमाणु तर्कों के लिए अनुमति देता है। यदि गैर-परमाणु तर्क शामिल हैं, तो पोर्टेबल कोड को atomic_concat / 3 का उपयोग करना चाहिए।

atom_length (+ एटम, -Length)
सच है अगर एटम लंबाई के पात्रों का एक परमाणु है। SWI-Prolog संस्करण सभी परमाणु प्रकारों के साथ-साथ कोड-सूचियों और चरित्र-सूचियों को स्वीकार करता है। नए कोड को इस सुविधा से बचना चाहिए और write_length / 3 से> उन वर्णों की संख्या प्राप्त करने के लिए उपयोग करना चाहिए जिन्हें लिखा जाएगा यदि तर्क write_term / 3 को सौंप दिया गया था।

3.1 परमाणुओं की सूची में एटम

इस तरह

3.2 राज्य मशीन ही

एक ग्राफ़ की कल्पना करें जो एक टेम्पलेट से वर्ण पढ़ता है और इनपुट लाइन में वर्णों के अनुपालन के लिए जांच करता है। ड्राफ्ट समाधान:

 %InpitList, PattList test_pattrn([],[]). %-      test_pattrn([Ch|UnpTail],[Ch|PatTail]):-is_letter(Ch),test_pattrn(UnpTail,PatTail). %'?' Matches any single character. test_pattrn([Ch|UnpTail],['?'|PatTail]):-is_letter(Ch),test_pattrn(UnpTail,PatTail). %'*' Matches any sequence of characters (including the empty sequence). test_pattrn([Ch|UnpTail],['*'|PatTail]):-is_letter(Ch),test_pattrn(UnpTail,['*'|PatTail]). test_pattrn([],['*'|PatTail]):-test_pattrn([],PatTail).

चलो अंतिम इंटरफ़ेस बनाते हैं:
isMatch (S, P): - atom_to_list (S, SL), atom_to_list (P, PL) ;,, test_pattrn (SL, PL),;

यहाँ समस्या के बयान से सभी उदाहरण हैं:

4. मध्यस्थ

ऐसा लगता है कि निर्णय तैयार है, अब हम मध्यस्थ पर बारी करते हैं। साइट leetcode.com पर (हां, हां, हम समस्या संख्या 44 का समाधान करते हैं), हम परीक्षण प्राप्त करेंगे, हम उन्हें हमारे कार्यान्वयन के साथ क्रमिक रूप से निष्पादित करने का प्रयास करेंगे। एक बुरी किस्मत, वे प्रोलॉग पर कार्यक्रम स्वीकार नहीं करते हैं।

कुछ नहीं, हमें एक-एक करके सभी काम मिलेंगे:

 class Solution: def isMatch(self, s, p): """ :type s: str :type p: str :rtype: bool """ if s=="aa" and p=="a":return False if s=="aa" and p=="*":return True if s=="cb" and p=="?a":return False if s=="adceb"and p=="*a*b":return True if s=="acdcb" and p=="a*c?b":return False if s=="aab" and p=="c*a*b":return False if s=="mississippi" and p=="m??*ss*?i*pi":return False if s=="aa" and p=="aa":return True if s=="aaa" and p=="aa":return False if s=="aa" and p=="a*":return True if s=="ab" and p=="?*":return True if s=="a" and p=="a":return True if s=="a" and p=="aa":return False if s=="aa" and p=="aaa":return False if s=="abefcdgiescdfimde" and p=="ab*cd?i*de":return True if s=="zacabz" and p=="*a?b*":return False if s=="leetcode" and p=="*e*t?d*":return False if s=="missingtest" and p=="mi*ing?s*t":return False if s=="aaaa" and p=="***a":return True if s=="" and p=="":return True if s=="" and p=="*":return True if s=="" and p=="a":return False if s=="" and p=="?":return False if s=="a" and p=="":return False if s=="a" and p=="a*":return True if s=="a" and p=="?*":return True if s=="a" and p=="*":return True if s=="b" and p=="?":return True if s=="b" and p=="??":return False if s=="bc" and p=="??":return True if s=="bcd" and p=="??":return False if s=="b" and p=="?*?":return False if s=="b" and p=="*?*?":return False if s=="b" and p=="*?*?*":return False if s=="c" and p=="*?*":return True if s=="cd" and p=="*?":return False if s=="cd" and p=="?":return False if s=="de" and p=="??":return True if s=="fg" and p=="???":return False if s=="hi" and p=="*?":return True if s=="ab" and p=="*a":return False if s=="aa" and p=="*a":return True if s=="cab" and p=="*ab":return True if s=="ab" and p=="*ab":return True if s=="ac" and p=="*ab":return False if s=="abc" and p=="*ab":return False if s=="cabab" and p=="ab*":return True if s=="cabab" and p=="*ab":return True if s=="ab" and p=="ab":return True if s=="ab" and p=="*?*?*":return True if s=="ac" and p=="ab":return False if s=="a" and p=="ab":return False if s=="abc" and p=="ab":return False if s=="" and p=="ab*":return False if s=="a" and p=="ab*":return False if s=="ab" and p=="ab*":return True if s=="ac" and p=="ab*":return False if s=="abc" and p=="ab*":return True if s=="" and p=="*a*":return False if s=="a" and p=="*a*":return True if s=="b" and p=="*a*":return True

यहां परीक्षणों की एक सूची है, किसी ने इस समस्या के लिए इस तरह की चेकलिस्ट की शुरुआत करके कड़ी मेहनत की।

और ये सभी परीक्षण नहीं हैं, जब तक हम नहीं रुकते:

यहाँ समाप्त कार्यक्रम है, साथ ही कुछ परीक्षण:

 %-      atom_to_list('',[]). %-  ,         atom_to_list(Str,[Ch|T]) :- atom_concat(Ch,Rest,Str),atom_length(Ch,1), atom_to_list(Rest,T). is_letter(X):-X@>=a, X@=<z. %InpitList, PattList test_pattrn([],[]). %-      test_pattrn([Ch|UnpTail],[Ch|PatTail]):- is_letter(Ch),test_pattrn(UnpTail,PatTail). %'?' Matches any single character. test_pattrn([Ch|UnpTail],['?'|PatTail]):- is_letter(Ch),test_pattrn(UnpTail,PatTail). %'*' Matches any sequence of characters (including the empty sequence). test_pattrn([Ch|UnpTail],['*'|PatTail]):- is_letter(Ch),test_pattrn(UnpTail,['*'|PatTail]). test_pattrn(Str,['*'|PatTail]):-test_pattrn(Str,PatTail). isMatch(S,P) :- atom_to_list(S,SL), atom_to_list(P,PL),!, test_pattrn(SL,PL),!. %unit-tests framework assert_are_equal(Goal, false):-not(Goal),!,writeln(Goal->ok). assert_are_equal(Goal, true):-Goal,!,writeln(Goal->ok). assert_are_equal(Goal, Exp):-writeln(Goal->failed:expected-Exp). %main goal :-assert_are_equal(isMatch(aa,a),false). :-assert_are_equal(isMatch(aa,'*'),true). :-assert_are_equal(isMatch(cb,'?a'),false). :-assert_are_equal(isMatch(adceb,'*a*b'),true). :-assert_are_equal(isMatch(acdcb,'a*c?b'),false). :-assert_are_equal(isMatch(aab,'c*a*b'),false). :-assert_are_equal(isMatch(mississippi,'m??*ss*?i*pi'),false). :-assert_are_equal(isMatch(abefcdgiescdfimde,'ab*cd?i*de'),true). :-assert_are_equal(isMatch(zacabz,'*a?b*'),false). :-assert_are_equal(isMatch(leetcode,'*e*t?d*'),false). :-assert_are_equal(isMatch(aaaa,'***a'),true). :-assert_are_equal(isMatch(b,'*?*?*'),false).

यहाँ परीक्षा परिणाम हैं:

 isMatch(aa, *)->ok isMatch(cb, ?a)->ok isMatch(adceb, *a*b)->ok isMatch(acdcb, a*c?b)->ok isMatch(aab, c*a*b)->ok isMatch(mississippi, m??*ss*?i*pi)->ok isMatch(abefcdgiescdfimde, ab*cd?i*de)->ok isMatch(zacabz, *a?b*)->ok isMatch(leetcode, *e*t?d*)->ok isMatch(aaaa, ***a)->ok isMatch(b, *?*?*)->ok true

5. निष्कर्ष

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

यह निर्णय विफल होने का क्या उदाहरण है?

आपको मेरी पुकार, हेबर के निवासी कैसे पसंद हैं?

आप अपने दिमाग की समस्याओं को हल करके और दिलचस्प समाधान दिखा कर प्रतिस्पर्धा कर सकते हैं, क्योंकि प्रोग्रामिंग एक रचनात्मक प्रक्रिया है।

मनोरंजक प्रस्तावना