Foundations of Logic Programming

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

Foundations of Logic Programming

Lehrveranstaltung mit SWS 2/0/0 (Vorlesung/Übung/Praktikum) in WS 2022

Dozent

Umfang (SWS)

  • 2/0/0

Module

Leistungskontrolle

  • Mündliche Prüfung



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

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.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Introduction DS3, 10. Oktober 2022 in APB E001 Datei
Vorlesung Unification DS3, 17. Oktober 2022 in APB E001 Datei
Vorlesung SLD Resolution DS3, 24. Oktober 2022 in APB E001 Datei
Entfällt Public holiday DS3, 31. Oktober 2022 in APB E001
Vorlesung Correctness of SLD Resolution DS3, 7. November 2022 in APB E001 Datei
Vorlesung Least Herbrand Models DS3, 14. November 2022 in APB E001 Datei
Vorlesung Pure Prolog DS3, 21. November 2022 in APB E001 Datei
Vorlesung Negation: Proof Theory (SLDNF Resolution) DS3, 28. November 2022 in APB E001 Datei


Kalender