Foundations of Logic Programming

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2018

Dozent

Sebastian Rudolph

Tutor

Lukas Schweizer

Umfang (SWS)

2/2/0

Module

Leistungskontrolle

Klausur

News

The source files for the peer reviewing exercise are online!

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 (ASP).

Organisation

The lectures will start on Monday, 9th October.
The first Tutorial will be on Friday, 20th October.

Please check the particular dates of lectures and tutorials.

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.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung	Introduction	DS5, 8. Oktober 2018 in APB E005	Datei
Vorlesung	Unification	DS5, 15. Oktober 2018 in APB E005	Datei
Übung	Tutorial	DS3, 18. Oktober 2018 in APB E005	Datei
Vorlesung	Procedural Interpretation	DS5, 22. Oktober 2018 in APB E005	Datei
Übung	Tutorial	DS3, 1. November 2018 in APB E005	Datei
Vorlesung	Pure Prolog	DS5, 5. November 2018 in APB E005	Datei
Vorlesung	Negation: Procedural Interpretation	DS5, 12. November 2018 in APB E005	Datei
Übung	Tutorial	DS3, 15. November 2018 in APB E005	Datei
Vorlesung	Declarative Interpretation I	DS5, 19. November 2018 in APB E005	Datei
Vorlesung	Declarative Interpretation II	DS5, 26. November 2018 in APB E005
Übung	Tutorial	DS3, 29. November 2018 in APB E005	Datei
Vorlesung	Negation: Declarative Interpretation	DS5, 10. Dezember 2018 in APB E005	Datei
Vorlesung	Termination	DS5, 17. Dezember 2018 in APB E005	Datei
Übung	Tutorial	DS3, 20. Dezember 2018 in APB E005	Datei
Vorlesung	ASP: Introduction	DS5, 7. Januar 2019 in APB E005	Datei
Übung	Tutorial	DS3, 10. Januar 2019 in APB E005	Datei
Vorlesung	ASP: Stable Models	DS5, 14. Januar 2019 in APB E005	Datei
Vorlesung	ASP: Solving	DS5, 21. Januar 2019 in APB E005	Datei
Übung	Tutorial	DS3, 24. Januar 2019 in APB E005	Datei 1, Datei 2
Vorlesung	Q/A	DS5, 28. Januar 2019 in APB E005
Übung	Q/A	DS3, 31. Januar 2019 in APB E005

Kalender