Introduction to Logic
Programming with Datalog

FLOLAC 2026 · a four-part course

• Intro Introduction What Datalog is, and the plan
• 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

Max Schaefer (xiemaisi@gmail.com)