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

Logic Programming

(V3 + Ü2, SS 2017)

LuFG Informatik 2
Course Times/Room Instructor
V3 Mon 08:30 - 10:00 AH 2 Prof. Dr. Jürgen Giesl
  Tue 08:30 - 10:00 AH 2  
Ü2 Fri 12:15 - 13:45 AH 2 Prof. Dr. Jürgen Giesl, Jera Hensel


If you have any question, please contact Jera Hensel.

News

Language

English

Course Notes etc.


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:

References

Area

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

Software

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

An alternative to SWI-Prolog is GNU Prolog:

Exercises

The exercises have to be solved in groups of four or three. We would prefer if you solve them in groups of four.

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 25, 2017. If you fail this exam, there will be a second written exam on September 12, 2017. There will not be any extra oral exams, i.e., you need to take part in the written exams in August or September 2017.

In order to take part in the exercises, please sign up here until Friday, April 28. You do not need to register for the exercises via Campus Office.

Transparencies

Here are the transparencies used in the lecture.

Notes

Here are the notes from the lecture.

Old exams

Here you find exams from the 2006, 2008, 2010, 2013, and 2015 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 they were only needed for the acquisition of the Übungsschein. Second, they only took 90 minutes, while the exams since 2010 take 120 minutes.

Note that in earlier versions of the lecture, there were sometimes different exams for Bachelor and Master students ("V3B" and "V3M"). In contrast, there will be just one exam this time. 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, 2013, and 2015).

Disclaimer   Research Group Computer Science 2  Dept. of Computer Science RWTH