Foundations of Logic Programming
From International Center for Computational Logic
Foundations of Logic Programming
Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2018
Lecturer
Tutor
SWS
- 2/2/0
Modules
Examination method
- Written exam
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.
- 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 8, 2018 in APB E005 | File |
| Lecture | Unification | DS5, October 15, 2018 in APB E005 | File |
| Exercise | Tutorial | DS3, October 18, 2018 in APB E005 | File |
| Lecture | Procedural Interpretation | DS5, October 22, 2018 in APB E005 | File |
| Exercise | Tutorial | DS3, November 1, 2018 in APB E005 | File |
| Lecture | Pure Prolog | DS5, November 5, 2018 in APB E005 | File |
| Lecture | Negation: Procedural Interpretation | DS5, November 12, 2018 in APB E005 | File |
| Exercise | Tutorial | DS3, November 15, 2018 in APB E005 | File |
| Lecture | Declarative Interpretation I | DS5, November 19, 2018 in APB E005 | File |
| Lecture | Declarative Interpretation II | DS5, November 26, 2018 in APB E005 | |
| Exercise | Tutorial | DS3, November 29, 2018 in APB E005 | File |
| Lecture | Negation: Declarative Interpretation | DS5, December 10, 2018 in APB E005 | File |
| Lecture | Termination | DS5, December 17, 2018 in APB E005 | File |
| Exercise | Tutorial | DS3, December 20, 2018 in APB E005 | File |
| Lecture | ASP: Introduction | DS5, January 7, 2019 in APB E005 | File |
| Exercise | Tutorial | DS3, January 10, 2019 in APB E005 | File |
| Lecture | ASP: Stable Models | DS5, January 14, 2019 in APB E005 | File |
| Lecture | ASP: Solving | DS5, January 21, 2019 in APB E005 | File |
| Exercise | Tutorial | DS3, January 24, 2019 in APB E005 | File 1, File 2 |
| Lecture | Q/A | DS5, January 28, 2019 in APB E005 | |
| Exercise | Q/A | DS3, January 31, 2019 in APB E005 |
Calendar
