Hide menu

TDDD08 Logic Programming


2017‑11‑06  Common errors

A summary of common errors in the last exam has been posted in the directory with old exams.

2017‑10‑10  Debugging hints

-- a draft note added to the "Labs" page

2017‑08‑29  Lab registration

The Webreg registration now works. Click [Labs] (in the menu) and use the link in the first paragraph.
The deadline for registration is September 18th, the deadline for completing the labs - October 29th.

2017‑08‑24  Welcome to the course

The content of the course will be similar to that in the previous three years. Expect only small changes.

2016‑10‑28  Last exam

added to the "old exams" available.

2016‑10‑19  A summary of list notation

posted at the Lectures page (Lecture 5 on Prolog).

2016‑10‑05  Tutorial 5 solutions found here.

2016‑10‑04  Search and DCG

For the search code presented at a tutorial, see the link from the tutorial web page.
For a DCG example, see this text.

2016‑09‑01  Do not miss classroom changes

as announced at se.timeedit.net (and linked from these pages). In particular, the Friday lecture will be held in A24.

2016‑08‑21  Welcome to the course

The content of the course will be similar to that in the previous two years. Expect only minor changes.

2016‑08‑16  Hints for the exam

Anyone looking at the old exams should notice that (since January) there is a note about common errors/difficulties with the exam problems

2015‑10‑21  A dictionary at the exam

English dictionary was added to the help materials allowed at an exam.

2015‑10‑10  Text on negation

A link added at "Course Information" to an introductory text on negation in LP. (See "Additional ... reading".)

2015‑10‑08  SWI-Prolog

We posted a recipe how to force SWI-Prolog to accept the stadard syntax here ("Public domain Prolog systems" link at the lab page). Please let us know whether it works.

2015‑08‑28  Welcome to the course

In 2015 the contents of the course will be basically unchanged. Expect modifications in handouts, slides etc., and possibly in lab problems. Changes in the subjects of consecutive lectures are possible.

2014‑09‑13  Schedule change.

As announced by e-mail, there is no tutorial on Monday 15/9, after the lecture.

2014‑08‑31  Schedule changes.

The changes for week 37 have already been announced. The lectures from week 37 are planned to be moved to Tuesdays of weeks 38 and 39, at 8-10.

2014‑08‑23  Expect schedule changes.

Due to my (W.D.) conference participation and absence during week 37, the two lectures of 2014-09-08 and 09-12 will be re-scheduled.

2014‑08‑19  Welcome to the course

In 2014 the contents of the course will be basically unchanged. Expect however some changes in subjects of consecutive lectures. Expect modifications in handouts, slides etc.

2013‑12‑27  Example solutions

Due to some technical problems I could not update the example solutions until now. They are still intended to grow. Please let me know if you see anything unclear or suspicious.

2013‑12‑17  Example solutions

An example solution of an exam problem posted here. Intended to grow during the next days.

2013‑11‑05  Last exam posted here.

2013‑10‑22  Help materials

Rules about help materials at the exams are posted.

2013‑10‑21  Example problems

A yet another extension of example problems (problem 13, and a bit more in 8).

2013‑10‑14  Example problems

Before the exam we are posting some example problems. They will be updated during the next few days.

2013‑09‑07  Lab exercises

Lab exercises and instructions are available here.

2013‑08‑31  Welcome to the course

15 Jan 2013  Exams available (Swe. Tentavisning)

The graded exams from December will be available for inspection and pick-up on January 21, 12:30-13:00 in Ulf Nilsson's office in the Origo building.

25 April 2012  Exams available (Swe. Tentavisning)

If you want to see he graded exams from April 10th please contact Ulf Nilsson no later than May 4th.

8 Jan 2012  Exams available (Swe. Tentavisning)

The written exams from 12th Dec will be available on 20th Jan 12:30-13 in Ulf's office in the B-building.

1 Dec 2011  Cancelled lecture

The final lecture (Friday 2nd Dec) is cancelled

20 Oct 2011  Updated course home pages

The web pages are now (more or less) up to date for the year 20011/12.

1 Dec 2010  Lab exercise correction

There were some typos in Lab exercise 3.2 which have now been corrected.

4 Nov 2010  Lab exercises/instructions available

The lab exercises and instructions can now be downloaded from Course information.

27 Oct 2010  Possible to register for labs

It is now possible to register for the labs using the WebReg system (select the menu-item Labs to find the link). Register not later than Nov 5th.

27 Oct 2010  Change of schedule

The lecture on Friday 29th Oct 10-12 has been moved to 11:15-13 the same day. The lecture room is the same.

21 Oct 2010  Course web pages

The course web pages are now updated for the 2010/11 edition of the course. New information will be uploaded during the course.

11 Jan 2010  Exams available (Swe. Tentavisning)

Exams from 22nd Dec will be available on 20th Jan 12:30-13 in Ulf's office.

27 Nov 2009  Cancelled lecture

The lecture on 11th of Dec is cancelled.

21 Oct 2009  Updated course home pages

The web pages are now (more or less) up to date for the year 2009/10.

Page responsible: Wlodek Drabent
Last updated: 2008-10-07