प्रोलॉग सूची। जाँच करें कि सूची में पहले और अंतिम तत्व समान

Question

उदाहरण:

firstlast([1,2,3,4,1]). 
true; 

firstlast([1,2,3,4]). 
false; 

firstlast([5,10,4,3]). 
false; 

exc... 

समस्या im है केवल विधेय "firstlast" के साथ प्रत्यावर्तन का उपयोग करने की अनुमति दी। ? मैंने वास्तव में इसे तोड़ने की कोशिश की है, लेकिन मैं पहले के साथ अंतिम तत्व की जांच/तुलना नहीं कर सकता।

कोई संकेत?

Answer 1

अद्यतन: आप अन्य विधेय का उपयोग करने की अनुमति नहीं है के बाद से, इस प्रयास करें: आधार केस के साथ

firstlast([H,H]). 
firstlast([F,_|T]) :- firstlast([F|T]). 

पहले विधेय सौदों, दूसरा एक तीन या की एक सूची में दूसरा तत्व को हटा अधिक आइटम, और recurses।

Answer 2

आप शायद मतलब है कि पहला और अंतिम तत्व समान है।

 
firstlast(Xs) :- 
    phrase(([X],...,[X]), Xs). 

... --> [] | [_], ... . 

मैं या नहीं यकीन नहीं है कि firstlast([1]) सफल होने चाहिए नहीं कर रहा हूँ ...

Answer 3

खैर जब से तुम एकमात्र समाधान की तरह दिखाई देगा firstlast/1 के साथ एक प्रत्यावर्तन उपयोग कर सकते हैं: यहाँ एक समाधान का उपयोग कर dcg -notation है :

firstlast(...) :- ... . 
firstlast(...) :- ... . 
firstlast(...) :- ... . 
.... 
firstlast(...) :- ... . 

उनमें से कुछ बेस केस के संबंध में नियम होंगे और उनमें से कुछ नियम "दूर खाने" के नियम होंगे। इस समस्या को एक चेक की आवश्यकता है: पहले और अंतिम तत्व की तुलना करें। इसलिए, आपके मूल मामले में आपके पास केवल इन 2 तत्व होना चाहिए; आपको कुछ और चाहिए नहीं। तो समाधान सभी अन्य तत्व

पर ध्यान नहीं देगा

पिछले संकेत: आप निम्नलिखित एकीकरण पैटर्न के साथ एक सूची के 2 पहले तत्वों का उपयोग कर सकते हैं:

foo([H1,H2|T]) 

Answer 4

तो निष्पक्ष मैं यह मिल गया:

firstlast([H,_|T]) :- 
(T1 = H, T1 = T) -> firstlast([H|T]). 

मेरा कोड अंतिम और प्रथम तत्व की तुलना करता है लेकिन रिकर्सन गलत है:/

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