TDDD08 · 6 credits · Advanced level (A1N) · Informationsteknologi, Datateknik, Datavetenskap
Logic Programming
Active · next start HT 2026
53%
passed the latest ordinary exam
TEN1 · 29 Oct 2025 · 38 students
55%
passed the ordinary exams, all sittings over the last 5 years
TEN1 · 130 students
95%
Harder than 95% of courses at advanced level
Compared with 285 courses at the same level, ordinary exams over the last three academic years. 62 students.
Part of 7 programmes
- Master of Science in Computer Science and Engineering
- Master of Science in Information Technology
- Master of Science in Computer Science and Software Engineering
- Master of Science in Engineering Mathematics
- Master of Science in Applied Physics and Electrical Engineering
- Master's Programme in Computer Science
- Master's Programme in Mathematics
Exam
TEN1 Written examination
- 5
- 4
- 3
- U
Ordinary exams
55% passed · 130 students
- 53%38
- 58%24
- 60%30
- 37%19
- 63%19
Re-exams
44% passed · 34 students
- 43%7
- 75%8
- 22%9
- 40%10
- Pass the re-exam: 44% (34 students), compared with 55% (130 students) on the ordinary exam
- Get 4 or 5: 19% (164 students)
Show small sittings (5)
Sittings with fewer than 5 students, often credit transfers or special sittings. They are not part of any figure on this page.
- 50%2
- 0%1
- 100%2
- 33%3
- 100%3
Other modules
Partial exams, hand-ins and labs. They are not part of the figures at the top.
Hand-in or lab
LAB1 Laboratory work
- G
Main rounds
100% passed · 111 students
- 100%34
- 100%20
- 100%22
- 100%14
- 100%21
Later rounds
No sittings with at least 5 students.
Show small sittings (8)
Sittings with fewer than 5 students, often credit transfers or special sittings. They are not part of any figure on this page.
- 100%2
- 100%1
- 100%2
- 100%2
- 100%1
- 100%4
- 100%1
- 100%1
About the course
Aim
At the end of the course the student should demonstrate a deeper understanding of the basic logical concepts and its relation and application of the programming context. Furthermore, the student should demonstrate skills in logic and constraint programming in the programming language Prolog, and the ability to think and solve problems in a declarative way.
Content
Logic, logic programming, declarative and operational semantics, negation as failure, Prolog, "cut", logic and databases, logic and grammars, search and constraint logic programming.
- Examiner
- Victor Lagerkvist
- Scheduled hours
- 48 h
- Main field of study
- Informationsteknologi, Datateknik, Datavetenskap