TDDD08 Logic Programming

Project (2026)

Non-mandatory project

During the course you have the opportunity to pursue a programming project of your choice. A successful project allows you to skip the first programming exercise on the October exam (only the October exam, you cannot use this for future exams, regardless of whether you pass or not). The project has two phases: first, send a project proposal to the course examiner, where you briefly outline your project idea. If the idea is approved you then book a time slot with the examiner to demonstrate your project. The project should be carried out independently, i.e., not in groups of two.

First deadline (project idea): 9 October. Send your project idea (preferably in plain text) to victor.lagerkvist@liu.se with the heading TDDD08: project LiU-ID where LiU-ID is your LiU-ID.

Second deadline: 23 October. Before this date you need to contact the examiner and book a time slot for demonstrating the project.

Possible ideas for a project:

• Create an interpreter/compiler. Ideally, either for an existing language, or for an extension of an existing language.
• Give a formal correctness proof (either completeness or soundness) for a non-trivial Prolog program of your choice.
• Choose an NP-hard problem (or another computational problem that you find interesting and where there is a reasonable Prolog solution). Solve it in (standard) Prolog, answer set programming, and constraint logic programming, and compare the results.

This is a non-exhaustive list and we encourage you to explore your own project ideas.

Tools

For the project you are allowed to use any tools that you find convenient (including generative AI). Any such usages should be acknowledged. However, you are still responsible for the resulting code, and are expected to be able to explain and justify it.

Page responsible: Victor Lagerkvist
Last updated: 2026-08-27