Foundations of Logic Programming
From International Center for Computational Logic
Foundations of Logic Programming
Course with SWS 2/0/0 (lecture/exercise/practical) in WS 2025
Lecturer
SWS
- 2/0/0
Modules
Examination method
- Oral exam
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.
Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS3, October 13, 2025 in APB E005 | File |
| Lecture | Unification | DS3, October 20, 2025 in APB E005 | File |
| Lecture | SLD Resolution | DS3, October 27, 2025 in APB E005 | File |
| Lecture | Correctness of SLD Resolution | DS3, November 3, 2025 in APB E005 | File |
| Lecture | Least Herbrand Models | DS3, November 10, 2025 in APB E005 | File |
| Lecture | Pure Prolog | DS3, November 17, 2025 in APB E005 | File |
| Lecture | Negation: Proof Theory (SLDNF Resolution) | DS3, November 24, 2025 in APB E005 | File |
| Lecture | Soundness and “Completeness” of SLDNF Resolution | DS3, December 1, 2025 in APB E005 | File |
| Lecture | Negation: Model Theory | DS3, December 8, 2025 in APB E005 | File |
| Lecture | ASP: Syntax and Semantics | DS3, December 15, 2025 in APB E005 | |
| Lecture | ASP: Language Extensions and Modelling | DS3, January 5, 2026 in APB E005 | |
| Lecture | ASP: Characterisation and Computation | DS3, January 12, 2026 in APB E005 |
Calendar
