Behandelde stof: LPN, Hoofdstuk 9 en 10.

Een metaprogramma is een programma dat een ander programma als data gebruikt. De techniek van het metaprogrammeren is onontbeerlijk als we zelf controle willen over de manier waarop prolog naar bewijzen zoekt.

We behandelen alternatieven voor het prolog df (depth first) zoekregime. We schrijven zelf een interpreter voor dcg regels, en bespreken het ingebouwde term_expansion/2 predicaat.