Diese Seite auf Deutsch  Research Group Computer Science 2  Dept. of Computer Science RWTH

Logic Programming

(V3 resp. 4 + Ü2, WS 2010/11)

LuFG Informatik 2
Course Times/Room Instructor
V3 resp. 4 Tue 11:45 - 13:15 AH 3 Prof. Dr. Jürgen Giesl
  Fri 11:45 - 13:15 AH 1  
Ü2 Wed 16:00 - 17:30 AH 3 Prof. Dr. Jürgen Giesl, Carsten Fuhs, Carsten Otto, Thomas Ströder

This is a 3-hour lecture for Bachelor Informatik, Master Informatik, and Master Mathematik. It is a 4-hour lecture for Diplom Informatik and Diplom Mathematik. For Master SSE, the lecture is usually a 3-hour lecture (6 ECTS credits), but these students can also attend the 4-hour lecture (8 ECTS credits).

If you have any questions, please contact the mailing list lp10@i2.informatik.rwth-aachen.de, which is read by the three assistants. More contact information can be found on the homepage of LuFG I2.

News


Course Notes

The course notes are available here (in German): Course Notes (Version of October 11, 2010)

Contents

In addition to a short introduction to the programming language Prolog, the lecture deals with the foundations of logic programming, with programming techniques in these languages, with the implementation of logic programming languages, and with their application in several areas. More precisely, these are the topics of the lecture:



Versions of the Lecture

Not all material of the lecture is needed for all students. More precisely, there are three versions of the lecture:

References


Area

Theoretical Computer Science, Area of Specialization


Software

To write Prolog-programs, we recommend the SWI Prolog System.

An alternative to SWI-Prolog is GNU Prolog:

Old exams

Here you find two exams from the 2006 and 2008 lectures on logic programming (in German). However, as the computer science curriculum has been changed since these exams took place, the conditions for these exams were different from the ones for the exam we will have in this lecture. First, the old exams were not designed to determine the final grade for the logic programming course, but only for the acquisition of the Übungsschein. Second, they only took 90 minutes, while our exam will take 120 minutes. Third, we will have three different exams (according to the three versions of the lecture) instead of just one. Keep these differences in mind when practicing with the old exams. Furthermore, we strongly recommend that you solve the old exams without looking into the solutions first and that you also respect the time limit of 90 minutes. Furthermore, you can now find the first exam sheets from February 23rd and their solutions according to the three versions of the lecture. The corresponding material of the second exam from March 18th is here as well:

Exercises

For students of Diplom Informatik: To get a certificate for this course (Übungsschein) you must reach at least 50% of the points on the exercise sheets. In general, we advise all Diploma students to work towards the certificate. Working on the exercises is a good preparation for the final oral exam.
For all other students 50% of the points on the exercise sheets are needed in order to take part in the final written exam. The written exam will be on February 23, 2011. If you fail this exam, there will be a second written exam on March 18, 2011.

In order to take part in the exercises, please sign up here.

The exercise sheets should be solved in groups of two. The solutions can be handed in at the beginning of the exercise class on Wednesdays.


Remark regarding Sheet 12:

Transparencies

Here are the transparencies used in the lecture.
Disclaimer   Research Group Computer Science 2  Dept. of Computer Science RWTH