Foundations of Logic Programming
Aus International Center for Computational Logic
Foundations of Logic Programming
Lehrveranstaltung mit SWS 2/1/0 (Vorlesung/Übung/Praktikum) in WS 2015
Dozent
Tutor
Umfang (SWS)
- 2/1/0
Module
Leistungskontrolle
- Klausur
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.
Organisation
The first lecture will be on Monday, 12th October 2015, 13:00-14:30 (DS 4) in room APB E005. The lecture is scheduled for Wednesdays, 13:00-14:30 (DS 4) in room APB E005. The tutorial will be held biweekly on Tuesday, 7:30-9:00 (DS1) in room APB E005.
Please check the particular dates of lectures and tutorials.- 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 | DS4, 12. Oktober 2015 in APB E005 | Datei |
| Vorlesung | Unification | DS4, 19. Oktober 2015 in APB E005 | Datei |
| Übung | Tutorial 1 | DS1, 20. Oktober 2015 in APB E005 | Datei |
| Vorlesung | Procedural Interpretation | DS4, 26. Oktober 2015 in APB E005 | Datei |
| Vorlesung | Declarative Interpretation I/II | DS4, 2. November 2015 in APB E005 | Datei |
| Übung | Tutorial 2 | DS1, 3. November 2015 in APB E005 | Datei |
| Vorlesung | Declarative Interpretation II/II | DS4, 16. November 2015 in APB E005 | |
| Vorlesung | Pure PROLOG | DS4, 23. November 2015 in APB E005 | Datei |
| Übung | Tutorial 3 | DS1, 24. November 2015 in APB E005 | Datei |
| Vorlesung | Negation: Procedural Interpretation | DS4, 30. November 2015 in APB E005 | Datei |
| Vorlesung | Negation: Declarative Interpretation | DS4, 7. Dezember 2015 in APB E005 | Datei |
| Übung | Tutorial 4 | DS1, 8. Dezember 2015 in APB E005 | Datei |
| Vorlesung | Program Termination | DS4, 14. Dezember 2015 in APB E005 | Datei |
| Übung | Tutorial 4 (continued) | DS1, 15. Dezember 2015 in APB E005 | |
| Vorlesung | Program Termination ctd. | DS4, 4. Januar 2016 in APB E005 | |
| Vorlesung | Introduction to ASP | DS4, 11. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial 5 | DS3, 12. Januar 2016 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Stable Model Semantics | DS4, 18. Januar 2016 in APB E005 | Datei |
| Vorlesung | Solving 1/2 | DS4, 25. Januar 2016 in APB E005 | Datei |
| Übung | Tutorial 6 | DS1, 26. Januar 2016 in APB E005 | Datei |
| Vorlesung | Solving 2/2 | DS4, 1. Februar 2016 in APB E005 |
Kalender
