2G1121 Logic Programming, 4p HT04 (period 1) at Forum Kista

Latest update Wed Mar 9^th 2005

(the course has been given as 2G1121 4p the last time. Next year's edition will be 2G1530 5p, these pages will be replaced with new ones shortly)

2004 (Period 1)

2G1121 Logic Programming (Logikprogrammering) is a 4-credit elective course for IT4, D4, E4 and exchange students offered by the Dept. of Microelectronics and Information Technology (IMIT).

Index

• News
• Description
• Literature
• Staff, Location, Grades etc.
• Lectures
• Mailing List
• Your feedback
• Programming Environments for logic programming
• The Project Part, Lab Course. 2p
• Examination (tenta) for the reading course (2p)
• External Links, for instance tutorials

Latest News

• From 2005 the course will be replaced by a 5p course, 2G1530 Logic Programming.
• Examination for older students of 2G1121 will still be possible upon request until 2008.

Fill in here to register for exams

Course Description

Description of the course (in swedish)

Official course description from Studiehandboken 2004/05

• Kurs-PM (pdf) Reading instructions could be extended. Read also this web page and become a member of the mailing list.

Literature

Teachers and Staff

Lecturer and course leader: Thomas Sjöland, email sjoland@imit.kth.se, phone: 08-790 4113 (room 8510), 070-319 11 09 (mobile)

Reporting of grades: Rita Johnsson, email ritaj@imit.kth.se, phone 08-790 4116 (room 8513)

We are located in the Forum building at (Isafjordsgatan 39), Kista.
Mailing address: IMIT/KTH, Electrum 229, SE-164 40 Kista, Sweden.

Lectures and tutorials

All lectures and excercises will be in Kista!
To find the lecture rooms, please follow this link.

• Schedule and registration info

Mailing List

The course has a mailing list 2g1121@it.kth.se. If you want to be on this mailing list, send a mail to majordomo@it.kth.se containing only the text:
subscribe 2g1121 'youremailaddress',
where 'youremailaddress' should be replaced with the address you prefer to use, or send me a mail detailing your needs.

Your Feedback, Course Board, Questionnaire

• A course board, (Kursnämnd), i.e. a formal way for students to influence the content and form of the education has been formed. The members to contact are:
  John Petroff (petroff (at) kth.se) or Erik Häggbrink (it01_eha (at) it.kth.se)
• There is a course questionnaire, (in swedish). After you have taken the course, please fill it and return according to the instructions on it. Your feedback is most important and will help us give a better course next year.
• You can of course always contact the course leader Thomas Sjöland (sjoland@imit.kth.se) at any time to discuss the course.

Programming Environments for Logic Programming

Prolog

Prolog is the main programming language taught in this course.

The preferred Prolog system for this course is SICStus Prolog, but you can use any prolog system of your choice.

If you are interested in running Prolog on your PC, you can find a version of SICStus Prolog on the KTH CD. You may also search the net for other prolog systems. (See link at the end of this page.)

• Starting Sicstus Prolog under Solaris
• Sicstus Prolog Home Page for the latest version of SICStus Prolog containing among other things an HTML-version of the manual.

The Project Part, Lab Course. 2p

Examination (tenta) for the reading course (2p)

various links concerning logic programming