Foundations of Logic Programming

From International Center for Computational Logic

Foundations of Logic Programming

Course with SWS 2/0/0 (lecture/exercise/practical) in WS 2021

Lecturer

SWS

  • 2/0/0

Modules

Examination method

  • Oral exam



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).

Schedule and Location

During the winter term 2021/22, the lecture will be virtual.

All dates are published on this page (see Dates & Materials above)

  • The weekly lecture sessions will be prerecorded as video and uploaded here ahead of the corresponding Monday.

Please register for the course via the OPAL course:

https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32352862215/CourseNode/1633573815389594008
  • 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 DS3, October 18, 2021 in Asynchronous File 1 File 2
Lecture Unification DS3, October 25, 2021 in Asynchronous File 1 File 2 File 3
Lecture Procedural Interpretation DS3, November 1, 2021 in Asynchronous File 1 File 2
Lecture Pure Prolog DS3, November 8, 2021 in Asynchronous File 1 File 2
Lecture Negation: Procedural Interpretation DS3, November 15, 2021 in Asynchronous File 1 File 2
Lecture Declarative Interpretation I DS3, November 22, 2021 in Asynchronous File 1 File 2
Lecture Declarative Interpretation II DS3, November 29, 2021 in Asynchronous File
Lecture Negation: Declarative Interpretation DS3, December 6, 2021 in Asynchronous File 1 File 2
Lecture Termination DS3, December 13, 2021 in Asynchronous File 1 File 2
Video
Lecture ASP: Introduction DS3, January 10, 2022 in Asynchronous File 1 File 2
Video
Lecture ASP: Stable Models DS3, January 17, 2022 in Asynchronous File 1 File 2
Video
Lecture ASP: Solving DS3, January 24, 2022 in Asynchronous File 1 File 2
Video
Lecture Q&A DS3, January 31, 2022 in TBA


Calendar