Foundations of Logic Programming
From International Center for Computational Logic
Foundations of Logic Programming
Course with SWS 2/1/0 (lecture/exercise/practical) in WS 2019
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).- 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 | DS5, October 14, 2019 in APB E005 | File |
| Lecture | Unification | DS5, October 21, 2019 in APB E005 | File |
| Exercise | Tutorial | DS5, October 25, 2019 in APB E005 | File |
| Lecture | Procedural Interpretation | DS5, October 28, 2019 in APB E005 | File |
| Lecture | Pure Prolog | DS5, November 4, 2019 in APB E005 | File |
| Exercise | Tutorial | DS5, November 8, 2019 in APB E005 | File |
| Lecture | Negation: Procedural Interpretation | DS5, November 11, 2019 in APB E005 | File |
| Exercise | Tutorial | DS5, November 18, 2019 in APB E005 | File |
| Lecture | Declarative Interpretation I | DS5, November 25, 2019 in APB E005 | File |
| Lecture | Declarative Interpretation II | DS5, December 2, 2019 in APB E005 | |
| Exercise | Tutorial | DS5, December 6, 2019 in APB E005 | File |
| Lecture | Negation: Declarative Interpretation | DS5, December 9, 2019 in APB E005 | File |
| Lecture | Termination | DS5, December 16, 2019 in APB E005 | File |
| Exercise | Tutorial | DS5, December 20, 2019 in APB E005 | File |
| Lecture | ASP: Introduction | DS5, January 6, 2020 in APB E005 | File |
| Lecture | ASP: Stable Models | DS5, January 13, 2020 in APB E005 | File |
| Exercise | Tutorial | DS5, January 17, 2020 in APB E005 | File |
| Lecture | ASP: Solving | DS5, January 20, 2020 in APB E005 | File |
| Lecture | Q&A | DS5, January 27, 2020 in APB E005 | |
| Exercise | Tutorial | DS5, January 31, 2020 in APB E005 | File |
| Lecture | Q&A | DS5, February 3, 2020 in APB E005 |
Calendar
