Swedish web site
TDDD08 Logic Programming
Lectures 2024
The second column specifies the responsible teacher, where VL stands for Victor Lagerkvist. Bear in mind that the recorded videos are from 2020 and 2021 and that changes compared to 2024 are possible, and that they usually do not cover as much as the physical lectures.| #1
|
VL | Practical matters, objectives,
introduction to logic programming
Handouts: [ Slides and videos, puzzle solving program]. | #2
|
VL | Declarative semantics of logic programs
Handouts: [ Slides and videos]. |
| #3
|
VL | Operational semantics of logic programs
Handouts: [ Slides and videos]. | #4
|
VL |
Introduction to Prolog
Handouts: [ Slides and videos]. |
| #5
|
VL | Definite Clause Grammars
Handouts: [ Slides and videos]. | #6
|
VL | Negation in logic programming, part 1
Handouts: [ Slides and videos]. |
| #7
|
VL | Negation in logic programming, part 2
Handouts: [ Slides and videos]. | #8
|
VL | Constraint logic programming, part 1
Handouts: [ Slides, videos, and programs]. |
| #9
|
VL | Constraint logic programming, part 2
Handouts: [ Slides and videos]. | #10
|
VL | Correctness and completeness of logic programs
Handouts: [ Slides and videos]. |
| #11
|
VL | Control and efficiency in logic programming
Handouts: [ Slides and videos]. |
Page responsible: Victor Lagerkvist
Last updated: 2024-08-30
