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 2022

Lecturer

SWS

  • 2/0/0

Modules

Examination method

  • Oral exam



Logic Programming is a form of declarative programming that has its roots in first-order predicate logic and automated theorem proving based on the resolution method.

This introductory course covers the fundamental topics of logic programming such as the rule-based syntax, procedural and declarative semantics, the treatment of negation, the logic programming language PROLOG, and answer set programming (ASP).

Exam

If you want to take an exam in this course (oral exam at the end of the term), register in the Selma course (CMS and CL students).

To obtain an appointment for an oral exam, contact Ramona Behling, presenting your exam registration.
  • Krzysztof R. Apt. From Logic Programming to Prolog. Prentice Hall 1997.
  • Krzysztof Apt and Roland Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19/20: 9–71, 1994.
  • 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 10, 2022 in APB E001 File
Lecture Unification DS3, October 17, 2022 in APB E001 File
Lecture SLD Resolution DS3, October 24, 2022 in APB E001 File
No session Public holiday DS3, October 31, 2022 in APB E001
Lecture Correctness of SLD Resolution DS3, November 7, 2022 in APB E001 File
Lecture Least Herbrand Models DS3, November 14, 2022 in APB E001 File
Lecture Pure Prolog DS3, November 21, 2022 in APB E001 File
Lecture Negation: Proof Theory (SLDNF Resolution) DS3, November 28, 2022 in APB E001 File
Lecture Soundness and Restricted Completeness of SLDNF Resolution DS3, December 5, 2022 in APB E001 File
Lecture Negation: Model Theory DS3, December 12, 2022 in APB E001 File
No session Happy holidays! DS3, December 19, 2022 in APB E001
Lecture ASP: Syntax and Semantics DS3, January 9, 2023 in APB E001 File
Lecture ASP: Language Extensions and Modelling DS3, January 16, 2023 in APB E001 File
Lecture ASP: Computation and Characterisation DS3, January 23, 2023 in APB E001 File


Calendar