Winter Term 2013/14

Course Description

Logic programming supports the declarative programming paradigm, which describes the solution logically rather than how to compute it. This introductory course covers the fundamental topics of logic programming such as rule-based syntax, procedural and declarative semantics, negation, the logic programming language PROLOG, and answer set programming.

Lecturer:  Prof. Sebastian Rudolph, Dr. Sarah Alice Gaggl

Modules:  INF-BAS2, MCL-LCP

Status:  basic unit

SWS (lecture/tutorial/practical):  2/1/0

Examination method:  written exam

Prerequisites:

• none

Organization

There will be an additional Q&A session on Tuesday, 4th February 2014, 15:20-16:20 together with FCP in room INF E005.
List of relevant topics for the exam: Topics_ExamFLP_WS2013.txt.
The lecture is scheduled for Monday, 11:10-12:40 (DS 3) in room INF E005.
The tutorial will be held biweekly on Monday, 13:00-14:30 (DS4) in room INF E005.

References

• Krzysztof R. Apt. From Logic Programming to Prolog. Prentice Hall 1997.
• Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten Schaub. Answer Set Solving in Practice. Morgan and Claypool 2012.