Foundations of Logic Programming

Lehrveranstaltung mit SWS 2/0/0 (Vorlesung/Übung/Praktikum) im WS 2025

Dozent

Hannes Straß

Umfang (SWS)

2/0/0

Module

Leistungskontrolle

Mündliche Prüfung

Logic Programming is a form of declarative programming that has its roots in first-order predicate logic.

This introductory course covers the fundamental topics of logic programming such as the rule-based syntax, procedural and declarative semantics, the treatment of negation, the logic programming language PROLOG, and answer set programming (ASP).

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	DS3, 13. Oktober 2025 in APB E005	Datei
Vorlesung	Unification	DS3, 20. Oktober 2025 in APB E005	Datei
Vorlesung	SLD Resolution	DS3, 27. Oktober 2025 in APB E005	Datei
Vorlesung	Correctness of SLD Resolution	DS3, 3. November 2025 in APB E005	Datei
Vorlesung	Least Herbrand Models	DS3, 10. November 2025 in APB E005	Datei
Vorlesung	Pure Prolog	DS3, 17. November 2025 in APB E005	Datei
Vorlesung	Negation: Proof Theory (SLDNF Resolution)	DS3, 24. November 2025 in APB E005	Datei
Vorlesung	Soundness and “Completeness” of SLDNF Resolution	DS3, 1. Dezember 2025 in APB E005	Datei
Vorlesung	Negation: Model Theory	DS3, 8. Dezember 2025 in APB E005	Datei
Vorlesung	ASP: Syntax and Semantics	DS3, 15. Dezember 2025 in APB E005
Vorlesung	ASP: Language Extensions and Modelling	DS3, 5. Januar 2026 in APB E005
Vorlesung	ASP: Characterisation and Computation	DS3, 12. Januar 2026 in APB E005

Kalender