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

Logic Programming

(V3 + Ü2, SS 2015)

LuFG Informatik 2
Course Times/Room Instructor
V3 Mon 08:30 - 10:00 AH 3 Prof. Dr. Jürgen Giesl
  Fri 08:30 - 10:00 AH 1  
Ü2 Fri 10:15 - 11:45 AH 1 Prof. Dr. Jürgen Giesl, Cornelius Aschermann, Jera Hensel

If you have any question, please write to lp15@i2.informatik.rwth-aachen.de!




Course Notes

The course notes are available here (in German): Course Notes (Version of October 19, 2015).
You can also find inofficial video recordings of the lecture in 2013 provided by Fachschaft I/1 MPI.


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 two versions of the lecture:



Theoretical Computer Science, Area of Specialization, Theoretical Foundations of SSE (Core Subjects)


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

An alternative to SWI-Prolog is GNU Prolog:


The exercises have to be solved in groups of two or three. 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 August 19, 2015. If you fail this exam, there will be a second written exam on September 14, 2015. There will not be any extra oral exams, i.e., you need to take part in the written exams in August or September 2015.

In order to take part in the exercises, please sign up here until Friday, April 17.


Here are the transparencies used in the lecture.


Here are the notes from the lecture.

Old exams

Here you find exams from the 2006, 2008, 2010, and 2013 lectures on logic programming (partially in German).

However, as the computer science curriculum has been changed after the 2008 lecture took place, the conditions for the 2006 and 2008 exams were different from the ones since 2010. 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 the exams since 2010 take 120 minutes. Third, we will have two different exams (according to the two versions of the lecture) instead of just one in 2006 and 2008 or three in 2010. Keep these differences in mind when practising 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 (90 minutes for the exams of 2006 and 2008, 120 minutes for the exams of 2010 and 2013).
Disclaimer   Research Group Computer Science 2  Dept. of Computer Science RWTH