Lista de Prólogos. Compruebe si el primer y último elemento de la lista es similar

Question

Ejemplo:

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

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

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

exc... 

El problema es im sólo se permite el uso de la recursividad con el predicado "firstlast". ? Realmente he tratado de romper esto, pero parece que no puedo verificar/comparar el último elemento con el primero.

¿Alguna pista?

Answer 1

ACTUALIZACIÓN: Ya que no está permitido el uso de otros predicados, intente esto:

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

La primera trata predicado con el caso base, el segundo elimina el segundo elemento de una lista de tres o más artículos, y recursivas hacia abajo.

Answer 2

Probablemente quiera decir que el primer y el último elemento son iguales. Aquí es una solución utilizando dcg -notation:

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

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

No estoy seguro de si firstlast([1]) debe tener éxito o no ...

Answer 3

Bueno, ya que sólo se puede utilizar una recursión con firstlast/1 la solución se parecerá :

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

algunos de esos serán las normas relativas al caso base y algunos de ellos las reglas que "desgasten" el problema. este problema requiere una comprobación: compare el primero y el último elemento. entonces, en tu caso base solo deberías tener estos 2 elementos; no necesitas nada más por lo que la solución va a ignorar todos los demás elementos

última pista: se puede acceder a los 2 primeros elementos de una lista con el siguiente patrón de unificación:

foo([H1,H2|T]) 

Answer 4

Así que justo tengo esto:

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

Mi código compara el último elemento y el primero pero la recursión es incorrecta:/

Como se explicó anteriormente, no se debe permitir que tenga éxito con un elemento de la lista. Aunque solo se me permite usar el predicado "firstlast".