Swedish web site
TDDD08 Logic Programming
Tutorials 2025
Modifications possible. The second column specifies the responsible teacher, where OT stands for Olle Torstensson.| #1 | OT | Logic -- repetition. Handouts: [slides], [ exercises], [ solutions]. |
| #2 | OT |
Introduction to programming in Prolog.
(A mixture of a lecture and tutorial.)
Handouts: slides, the presented programs. |
| #3 | OT |
Introduction to labs.
Handouts: slides, exercises, solutions , programs. |
| #4 | OT |
Operational semantics and programming exercises.
Handouts: exercises, solutions, programs. |
| #5 | OT |
Declarative semantics and DCG exercises.
Handouts: exercises, solutions, programs. | #6 | OT |
Negation in logic programming.
Handouts: exercises, solutions. |
| #7 | OT |
Correctness and completeness of programs.
Handouts: exercises, solutions, additional examples of correctness proofs. |
| #8 | OT | Solving an old exam. Solutions. |
Page responsible: Victor Lagerkvist
Last updated: 2025-09-02
