Lista Prolog. Sprawdź, czy pierwszy i ostatni element listy jest podobny

Question

Przykład:

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

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

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

exc... 

Problemem jest im używać wyłącznie rekursji z orzecznika „firstlast”. ? Naprawdę próbowałem to przełamać, ale nie mogę sprawdzić/porównać ostatniego elementu z pierwszym.

Jakieś wskazówki?

Answer 1

UPDATE: Ponieważ nie wolno używać innych predykatów, spróbuj tego:

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

Pierwszy dotyczy predykatywne z przypadkiem bazowym, drugi usuwa drugi element na liście trzech lub więcej przedmiotów i powraca w dół.

Answer 2

Prawdopodobnie oznacza to, że pierwszy i ostatni element są takie same. Oto rozwiązanie przy użyciu dcg -notation:

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

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

Nie jestem pewien, czy firstlast([1]) powinien odnieść sukces lub nie ...

Answer 3

Dobrze, ponieważ można używać tylko rekursji z firstlast/1 rozwiązanie będzie wyglądać :

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

niektóre z nich będą dotyczyć zasad odnoszących się do przypadku bazowego, a niektóre z nich, które "zjedzą" problem. Ten problem wymaga jednej kontroli: porównaj pierwszy i ostatni element. więc w twoim przypadku podstawowym powinieneś mieć tylko te 2 elementy; nie potrzebujesz niczego więcej. więc rozwiązanie będzie ignorować wszystkie inne elementy

ostatnia podpowiedź: można uzyskać dostęp do 2 pierwsze elementy listy z następującym zjednoczeniowego wzoru:

foo([H1,H2|T]) 

Answer 4

Tak sprawiedliwy mam to:

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

Mój kod porównuje ostatni i pierwszy element, ale rekurencja jest niepoprawna:/

Jak wspomniano powyżej, nie powinno mu się udać z jednym elementem na liście. Chociaż im można używać tylko predykatu "firstlast".