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

Logic Programming

(V3 + Ü2, SS 2013)

LuFG Informatik 2
Course Times/Room Instructor
V3 Mon 15:45 - 17:15 AH 3 Prof. Dr. Jürgen Giesl
  Fri 10:00 - 11:30 AH 2  
Ü2 Wed 11:45 - 13:15 AH 2 Prof. Dr. Jürgen Giesl, Carsten Otto


The first lecture took place on Friday, April 12.
If you have any question, please write to lp13@i2.informatik.rwth-aachen.de!


News


Language

English

Course Notes

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

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 two 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:

Exercises

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 21, 2013. If you fail this exam, there will be a second written exam on September 16, 2013.

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

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


Transparencies

Here are the transparencies used in the lecture.

Old exams

Here you find two exams from the 2006, 2008, and 2010 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 2006 and 2008 exams were different from the ones for 2010 and 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 the exams from 2010 and 2013 took/will 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 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.
Disclaimer   Research Group Computer Science 2  Dept. of Computer Science RWTH