Prolog List

Lists are Linked List:

• []: empty list
• [Head|Tail]: list with first element head, rest of elements for tail

Formal Notation

$$[e_1|[e_2|[\dots e_n]]]{=}_{\text{abbreviated}}[e_1,e_2,\dots ,e_n]$$

Concepts

• List Unification