Behandelde stof: LPN, Hoofdstuk 11 (assert/1, retract/1, etc).

We bespreken een aantal generieke technieken om in een zoekruimte een pad naar een oplossing te vinden, en de bijhorende datastructuren voor het beheer van de nog te exploreren knopen:

• df: depth first. Controle: stapel (stack).
• Iteratief verdiepend zoeken.
• bf: breadth first. Controle: wachtrij (queue).
• Zoeken met heuristiek: best first. Controle: priority queue (heap).