Foundations of Logic Programming

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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