ID2213 Logic Programming, 7,5hp HT11 (period 1)

Latest update Thursday August 11^th 2011 Minor changes might still occur on these pages, highlighted in the beginning.

---

ID2213 Logic Programming (Logikprogrammering) is a 7,5-hp elective course for D3,D4 and IT3, IT4 Civilingenjör, master students and exchange students, as well as Datateknik Högskoleing.
offered by the Unit. of Software and Computer Systems (ICT/SCS) .

---

Index News Description Literature Outline of material covered Staff, Location, Grades etc. Schedule of Lectures Your feedback Programming Environments for logic programming The Project Part, Lab Course. 3hp Examination (tenta) for a similar older reading course External Links, for instance tutorials

Please check the Kurs-PM 2011 and section below. 99 prolog problems Tutorial by prof Krzysztof R. Apt Course Description Course description for 2011/12 Kurs-PM 2011 (pdf) Read also this web page. Literature Material covered in meetings Compare to the reading instructions in the Kurs-PM 2011. W35, thu Sep 1st 10-12 Theory, elementary programs W36, thu Sep 8th 10-12 Recursive logic programming techniques W37, mo Sep 12th 13-15 Accumulating parameters, d-lists W38, mo Sep 19th 13-15 Search and control, negation, exploration of state spaces, Grammars.           to Sep 22nd 8-10 Metalogical techniques, reasoning with LP. W39, Wed Sep 28th 10-12 Case study: compiler W40, Thu Oct 6th 10-12 Case study: Reasoning about electronic circuits. W41, Wed Oct 12 13-17 Group presentation of student projects. Bonus points to improve grades for the exam are granted until one month after the written exam, i.e. projects presented before November 21^th can be considered for bonus points. Full bonus can only be granted if you meet the deadline of the presentation seminar. W42, Thu Oct 20 9-13 Written exam. Teachers and Staff Lecturer and course leader: Thomas Sjöland, email sjoland (at) kth.se, phone: 08-790 4113 The unit is located in the Forum building at Isafjordsgatan 39), Kista. Floor 8 Mailing address: KTH/ICT/SCS, Forum 120, SE-164 40 Kista, Sweden. Lectures and tutorials Find the schedule here! Schedule and registration info 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. You are encouraged to appoint contact persons for the "kursnämnd" as soon as possible after the course starts. .... We have a questionnaire in DAISY. It is also available as html, (in swedish). After you have taken the course, please answer the questions and return the responses either through DAISY or according to the instructions on the html-forms. 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@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 use other prolog systems. (See link at the end of this page or search the net.) 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. 3hp Examination (tenta) for the 2G1121 reading course (NB! ID2213 has some more credits, so the exam is somewhat extended in what it covers compared to these.) various links concerning logic programming for instance several online tutorials.

---

Thomas Sjöland, sjoland (at) kth.se