T-93.540 Logic Programming

A Short Introduction to Assignment

---

1. General

Assignments can be done in groups of any size. However, groups bigger than 2 members require good justification and a good subject.

2. Assignments

Choose your own subject and write a short description. Ideas can be found here.

3. Work

Registration: please send an email containing names, student numbers and email addresses for each person in your group to course assistant to address t93540@cs.hut.fi.

Include your short description. After signing up please wait about one week to receive more instructions and note points via email.

It is allowed to use any computer and any Prolog language you want for this assignment. Anyway, we provide students with SWI-Prolog in the work stations of Niksula teaching laboratory. Notice, that all Public Domain Prologs are allowed, but if you use your own PD Prolog, please return a short description of it with your assignment's other documentation.

The recommendation is to use the spice series of FreeBSD (Linux) machines, where a reasonably new SWI-Prolog is installed. The machines have names: "pippuri", "neilikka", "suola", ... See the Niksula web-pages for a complete list.

4. Documents to return

When returning assignment, following should be done:

• Front page, with names and student numbers and assignment info inserted.
• General document about assignment: algorithms, problems solved, evaluation of the work.
• Description of the most important predicates and data structures.
• Code, and example data if necessary.
• Test case.
• Small description of your Prolog, if it is other than SWI-Prolog. Also other comments about the Prolog you have used are welcome.

5.Return procedure

The assignments are returned using a return system. The id of the course in the system is "logic2004". Students return their work using the command:

~submitb/submit-project logic2004 cycle student-id document-file

Examples:

• ~submitb/submit-project logic2004 1 12345x homework1.zip
• ~submitb/submit-project logic2004 2 12345x homework2.zip
• ~submitb/submit-project logic2004 3 12345x assignment.zip

The cycles are

1. homework 1
2. homework 2
3. assignment

6. Grades

Assignments will be graded from 1 to 5. The grade of the assignment affects the whole course grade (-4 to +4 exam points, about 1 grade up or down)

7. Timetable

Assignments must be returned before the date set on the schedule. Assignments returned late will be disqualified.

---

Martti Meri, martti.meri@hut.fi, 21.9.2004