Foundations of Logic Programming
Foundations of Logic Programming
Course with SWS 2/0/0 (lecture/exercise/practical) in WS 2023
Logic Programming is a form of declarative programming that has its roots in first-order predicate logic and automated theorem proving based on the resolution method, but also draws inspiration from logic-based knowledge representation, constraint programming, and SAT solving.
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 the stable model semantics with its use in the problem solving paradigm known as answer set programming (ASP).
Exam
If you want to take an exam in this course (oral exam at the end of the term), register in the Selma course (CMS and CL students).
To obtain an appointment for an oral exam, contact Ramona Behling, presenting your exam registration.- Krzysztof R. Apt. From Logic Programming to Prolog. Prentice Hall 1997.
- Krzysztof Apt and Roland Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19/20: 9–71, 1994.
- 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 | DS5, October 9, 2023 in APB E005 | File |
| Lecture | Unification | DS5, October 16, 2023 in APB E005 | File |
| Lecture | SLD Resolution | DS5, October 23, 2023 in APB E005 | File |
| Lecture | Correctness of SLD Resolution | DS5, October 30, 2023 in APB E005 | File |
| Lecture | Least Herbrand Models | DS5, November 6, 2023 in APB E005 | File |
| Lecture | Pure Prolog | DS5, November 13, 2023 in APB E005 | File |
| Lecture | Negation: Proof Theory (SLDNF Resolution) | DS5, November 20, 2023 in APB E005 | File |
| Lecture | Soundness and Restricted Completeness of SLDNF Resolution | DS5, November 27, 2023 in APB E005 | File |
| Lecture | Negation: Model Theory | DS5, December 4, 2023 in APB E005 | File |
| Lecture | ASP: Syntax and Semantics | DS5, December 11, 2023 in APB E005 | File |
| No session | Happy holidays! | DS5, December 18, 2023 in APB E005 | |
| Lecture | ASP: Language Extensions and Modelling | DS5, January 8, 2024 in APB E005 | File |
| No session | No lecture | DS5, January 15, 2024 in APB E005 | |
| Lecture | ASP: Computation and Characterisation | DS5, January 22, 2024 in APB E005 | File |
| Consultation | Q&A | DS5, January 29, 2024 in APB E005 |
Calendar
