1.
Welcome
2.
Formalities
2.1.
Lecturer
2.2.
Syllabus
3.
Logic Programming
3.1.
Week 1
3.2.
Week 2
3.3.
Week 3
3.4.
Logic Project
3.5.
Paper Presentations
Light (default)
Rust
Coal
Navy
Ayu
Advanced Programming
Logic Programming
Week 1: Introduction to Logic Programming and Datalog
Week 2: Programming with Datalog in Flix
Week 3: Programming with Prolog