2G1530 Logic Programming - The Project Part, Lab Course. 2p

The lab course is a programming project performed in groups of one to four participants. It is graded as approved or non-approved. If it is finished before the ordinary examination it can give bonus points on the exam.

Programming task

• You can choose a task based on your own interests, or pick a programming task from the course literature. Try to be realistic in your choice of project task! You have about two weeks of work to perform the lab course. Remember that the qualities of the project task showing that you understand different aspects of the logic programming paradigm is more important than the amount of code or complexity of the task.
• You are expected to formulate a short proposal for a task and send it in via e-mail as soon as possible for approval before starting the actual project work. Please, send mail to the course leader if you wish to try your ideas on projects before deciding. Unapproved projects will not be graded.
• It is allowed to work in a group of up to 4 individuals. Each member of a group is expected to be able to explain all aspects of the whole project individually.
• The code should be reasonably documented in the short report explaining what you did. Project reports including code (or references to where it can be found) should be sent via e-mail to the course leader.
• Grading of project reports will be made within approximately a month of the written examinations (tenta-period). The grade will be G for an accepted report. The project can also give rise to up to 16 bonus points out of the total 50p given on the written examination. The grade of the whole course is the grade of the written examination (3,4 or 5 where the limit for 3 is 20 points, for 4 30 points and for 5 40 points, including the maximally 16 bonus points from the lab project). This means that the maximum grade given if the lab course is not finished before the exam is 4.
• Projects are not valued based on their size or complexity, but rather on how well you show that you have grasped the important concepts of logic programming that are discussed in the course. Graphical user interfaces are not relevant in this course.

• Many project proposals relate to games. Remember here that this course is not about the strategies of the games, but we focus on the way to structure programs using logic programming.
• Another area that might be of interest are in simple support tools for programming, such as parsers, compilers, emulators and transformation tools for simple, well-defined languages, tools for checking or modifying (for instance prolog) programs are especially encouraged.
• Another interesting task could be about rearranging the content of a web page, for instance to pretty-print and/or simplify HTML-code which was automatically generated by some editing tool.
• Since some of you take the theory-course 2G1117 on semantics at the same time, it might be interesting to combine the efforts and produce some tool to produce and/or present deductions in some of the formal systems presented there (operational semantics of languages, type checkers etc.).
• Some older project descriptions.

Exhibition space

Results of earlier instances of the lab course (Project reports and code.)

Autumn 2004, period 1, 28 participants, 1 known drop out, 4 have not yet chosen a project (2004-10-25)