Draaiboek

Globale cursusopbouw

Zie de individuele weekpagina's voor extra informatie, slides, en opdrachten

Week 1. Feiten, regels, queries; unificatie en zoeken naar bewijzen.
Week 2. Recursie; rekenenen.
Week 3. Werken met lijsten en andere datastructuren.
Week 4. Verschillijsten, binaire woordenboekbomen.
Week 5. Eerste deeltoets.
Week 6. DCG: Grammatica's en ontleden.
Week 7. Cut, negatie; metaprogrammeren.
Week 8. Dynamisch programmeren; zoeken.
Week 9. Tentamen