Foundations of Logic Programming

From International Center for Computational Logic

Foundations of Logic Programming

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

Lecturer

Tutor

SWS

  • 2/2/0

Modules

Examination method

  • Written exam

News

  • The source files for the peer reviewing exercise are online!

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

Organisation

  • The lectures will start on Monday, 9th October.
  • The first Tutorial will be on Friday, 20th October.
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.

Subscribe to events of this course (icalendar)

Lecture Introduction DS5, October 8, 2018 in APB E005 Download
Lecture Unification DS5, October 15, 2018 in APB E005 Download
Exercise Tutorial DS3, October 18, 2018 in APB E005 Download
Lecture Procedural Interpretation DS5, October 22, 2018 in APB E005 Download
Exercise Tutorial DS3, November 1, 2018 in APB E005 Download
Lecture Pure Prolog DS5, November 5, 2018 in APB E005 Download
Lecture Negation: Procedural Interpretation DS5, November 12, 2018 in APB E005 Download
Exercise Tutorial DS3, November 15, 2018 in APB E005 Download
Lecture Declarative Interpretation I DS5, November 19, 2018 in APB E005 Download
Lecture Declarative Interpretation II DS5, November 26, 2018 in APB E005
Exercise Tutorial DS3, November 29, 2018 in APB E005 Download
Lecture Negation: Declarative Interpretation DS5, December 10, 2018 in APB E005 Download
Lecture Termination DS5, December 17, 2018 in APB E005 Download
Exercise Tutorial DS3, December 20, 2018 in APB E005 Download
Lecture ASP: Introduction DS5, January 7, 2019 in APB E005 Download
Exercise Tutorial DS3, January 10, 2019 in APB E005 Download
Lecture ASP: Stable Models DS5, January 14, 2019 in APB E005 Download
Lecture ASP: Solving DS5, January 21, 2019 in APB E005 Download
Exercise Tutorial DS3, January 24, 2019 in APB E005 Download Download
Lecture Q/A DS5, January 28, 2019 in APB E005
Exercise Q/A DS3, January 31, 2019 in APB E005


Calendar