Syllabus
Week 1: Introduction to Logic Programming and Datalog
- What you always wanted to know about Datalog (and never dared to ask)
- (Section I, Section II: A-D, Section VI: A-C)
- Datalog and Logic Databases
- (Chapter 1, Chapter 2, Chapter 3, Chapter 4.1-4.3)
Week 2: Programming with Datalog in Flix
- Flix: A Meta Programming Language for Datalog
- Fixpoints for the Masses: Programming with First-Class Datalog Constraints
Week 3: Programming with Prolog
- An Introduction to Prolog Programming - Ulle Endris
- (Chapter 1, Chapter 2, Chapter 3)
Paper Presentation
In addition, all presented papers are part of the syllabus!