Foundations of Logic Programming
Aus International Center for Computational Logic
Foundations of Logic Programming
Lehrveranstaltung mit SWS 2/0/0 (Vorlesung/Übung/Praktikum) in WS 2020
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.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS6, 26. Oktober 2020 in Asynchronous | Datei |
| Video | |||
| Vorlesung | Unification | DS6, 2. November 2020 in Asynchronous | Datei |
| Video | |||
| Vorlesung | Procedural Interpretation | DS6, 9. November 2020 in Asynchronous | Datei |
| Video | |||
| Vorlesung | Pure Prolog | DS6, 16. November 2020 in Asynchronous | Datei |
| Video | |||
| Vorlesung | Negation: Procedural Interpretation | DS6, 23. November 2020 in Asynchronous | Datei |
| Video | |||
| Vorlesung | Declarative Interpretation I | DS6, 30. November 2020 in Asynchronous | Datei |
| Video | |||
| Vorlesung | Declarative Interpretation II | DS6, 7. Dezember 2020 in Asynchronous | |
| Video | |||
| Vorlesung | Negation: Declarative Interpretation | DS6, 14. Dezember 2020 in Asynchronous | Datei |
| Video | |||
| Vorlesung | Termination | DS6, 4. Januar 2021 in Asynchronous | Datei |
| Video | |||
| Vorlesung | ASP: Introduction | DS6, 11. Januar 2021 in Asynchronous | Datei |
| Video | |||
| Vorlesung | ASP: Stable Models | DS6, 18. Januar 2021 in Asynchronous | Datei |
| Video | |||
| Vorlesung | ASP: Solving | DS6, 25. Januar 2021 in Asynchronous | Datei |
| Video | |||
| Vorlesung | Q&A | DS6, 1. Februar 2021 in Videokonferenz | |
Kalender
