Este documento describe las listas en Prolog, incluyendo cómo definir una lista, sus elementos (cabeza y cola), verificar si un elemento está en una lista, contar la longitud de una lista, concatenar listas, invertir el orden de una lista, duplicar una lista, eliminar el último elemento de una lista, y borrar un elemento cualquiera de una lista. También muestra ejemplos de código Prolog para estas operaciones comunes con listas.