Introduction to Logic Programming, WT 2017


In imperative programming languages, programs are represented as sequences of instructions. In logic programming, one instead describes the solution for a problem as facts and rules instead of writing an algorithm. The computer then finds a solution autonomously. This offers a new and radically different point of view towards programming, useful even for the every day programmer using C or Java.

The lecture covers the following topics:

  • Propositional and predicate logic
  • Resolution
  • First order logic
  • Programming using horn clauses
  • Basics of Prolog


  • Lecture: Tue. 12:30 - 14:00 (HS 5H)
  • Tutorial: Tue. 14:30 - 16:00 (Room
  • Programming Tutorial: 16:30 - 18:00 (Room

There will be weekly exercises covering both practical and theoretical aspects of the lecture.

If possible, bring a computer to the tutorials.

Exam und Grading

  • Weekly assignments are not mandatory
  • The two projects are mandatory in order to be allowed to participate in the exam
  • Exam will take place on TBD in TBD


Lecture material is distributed using Ilias.

Responsible for the content: E-MailWE Informatik