Course overview
Part 1
Datalog Basics
Facts, rules, and queries
Part 2
Recursion
Recursion and negation
Part 3
Aggregates
Summarising data
Part 4
Advanced Topics
Theory, limits, and the real world
