Listas Prolog

Ejemplo:

Unificación

[]=[X|Y] o [] = [X] No!, la lista vacia no se puede dividir en cabeza y cola: [a,b,c]=[X,Y,Z] X=a, Y=b, Z=c

Es útil cuando definimos predicados de corte, para estar seguros que una lista vacia no hace match con una división cabeza-cola.

Prolog: LISTAS

Member

Ejemplo:

Estructura básica.

Permite saber si un elemento pertenece a una lista:member(1,[5,6,7,8,1,2,3]). yes member(1,[a,b,c]) no

Si el primer argumento es una variable, podemos listar los elementos de una lista uno a uno, haciendo redo: member(X,[a,b,c]).

En prolog, una lista es una representación de un conjunto de elementos.

Se pueden utilizar cómo elementos de la lista cualquier tipo de dato de prolog, incluyendo listas: [[a,b,c],[d, e, f]]

Equipo

Competidores

Si el primer argumento es una variable, podemos listar los elementos de una lista uno a uno, haciendo redo: member(X,[a,b,c]).

Lorem ipsum dolor sit amet, consectetuer adipiscing elit, sed diam nonummy nibh euismod tincidun.

En su forma más básica, una lista se puede ver como un predicado que tiene 2 partes:lista(cabeza, cola) en prolog: [Cabeza | Cola]

Lorem ipsum

Lorem ipsum

Lorem ipsum

Lorem ipsum

Lorem ipsum

+ Info

Informática VI

Grupo:2601

Mendiola

González

P. Fernando

Estructuras de Datos y Listas en PROLOG. (s. f.). PDF_Universidada. https://www.infor.uva.es/%7Ecalonso/IAI/PracticasProlog/Tema3/Tema+3.+Estructuras+y+Listas.pdf