¿Que es Lista en Programación?

En Prolog la estructura de lista está predefinida como una estructura re cursiva lineal cuyas componentes pueden ser heterogéneas porque en Prolog e no existe una comprobación tipos. Básicamente una lista es una estructura o a con dos argumentos: la cabeza de la lista, que es un componente de la lista, y la cola que es otra lista con el resto de los componentes. Normalmente existen dos notaciones para listas, una notación prefija: .(Cabeza,Cola) y o una notación infija [Cabeza|Cola] más cómoda de utilizar, y para denotar o a o la lista base se utiliza siempre []. Así la lista (a,b,c,d) se puede escribir ıa ı, en Prolog de cualquiera de las dos formas siguientes: .(a,.(b,.(c,.(d.[])))) [a|[b|[c|[d|[]]]]]. Sin embargo, la segunda forma admite simplificaciones que permiten escribir todos los elementos de la lista entre corchetes y separados por comas: [a,b,c,d], o escribir varios elementos a la izquierda del símbolo |, también separados e por comas, así como cualquier combinación de estas dos formas; con lo que ı o nuestra lista se puede escribir de cualquiera de las formas siguientes: [a|[b,c,d]] [a,b|[c,d]] [a,b,c|[d]] [a,b,c,d|[]] .

Es importante observar que en las dos notaciones para listas, el segundo argumento debe ser siempre una lista, pues aunque como hemos dicho Prolog no comprueba tipos, si es capaz de distinguir las listas de otra clase de ı términos. Así notaciones como las siguientes e ı, .(a,b) [a|b]