Behandelde stof: LPN, Hoofdstuk 7 en Hoofdstuk 8. Voor programmeren met verschillijsten heeft prolog een handige '-->' notatie. Als programma's gedefinieerd in termen van '-->' worden ingelezen, worden er automatisch verschillijst argumenten toegevoegd. De originele motivatie voor de '-->' notatie was om het schrijven van grammaticaregels makkelijk te maken.

Voor wie zich wat verder wil verdiepen in de materie is Hoofdstuk 4 van Pereira en Shieber's klassieke boek Prolog and Natural Language Analysis (PNLA, zie box) een goed startpunt. (Dit is geen tentamenstof!)

De opgaven maken je vertrouwd met het idee dat DCG's een algemene techniek zijn voor het programmeren met verschillijsten.