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 (zie box) een goed startpunt. Dit is een wenk voor de liefhebber: het is helemaal niet nodig om naar deze tekst te kijken om het vak met goed gevolg af te ronden.

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