Introduction to Logic Programming, WT 2019/2020
Content
In imperative programming languages, programs are represented as sequences of instructions. In logic programming, one 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
Dates
- Lecture: Tue. 12:30 - 14:00 Uhr (25.22, 5H)
- Tutorial: Tue. 14:30 - 16:00 (25.11, 5C)
- Programming Tutorial: Tue. 16:30 - 18:00 (25.12.02.55)
There will be weekly exercises covering both practical and theoretical aspects of the lecture.
If possible, bring a computer to the tutorials.
Exam and Grading
- Weekly assignments are not mandatory
- The two projects are mandatory in order to be allowed to participate in the exam
Material
Lecture material is distributed using Ilias.