Die wichtigsten nicht-numerische Strukturen in Prolog sind die Listen. Listen sind dazu nützlich, um Aufzählungen zu machen; sie können beliebig lang sein und haben eine strikte Reihenfolge, sie können aber auch leer sein. (Leere Liste)
Listen kann man wegen ihrer Schreibweise identifizieren, alle Elemente einer Liste sind in eckigen Klammern eingeschlossen und von einem Komma getrennt. Es gibt auch die Möglichkeit, Listen zu unifizieren, sie müssen aber gleich lang sein und die einzelnen Elemente müssen paarweise unifizierbar sein. Wir können mit „|“ auf den Rest der Liste zugreifen, was sich dann wieder als eine Liste vorstellen lässt, somit können wir sagen, dass die Liste eine rekursiv geschachtelte Struktur ist.