Foundations of Logic Programming

From International Center for Computational Logic

Foundations of Logic Programming

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

Lecturer

Tutor

SWS

  • 2/1/0

Modules

Examination method

  • Written exam

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.

Subscribe to events of this course (icalendar)

Lecture Introduction DS4, October 12, 2015 in APB E005 Download
Lecture Unification DS4, October 19, 2015 in APB E005 Download
Exercise Tutorial 1 DS1, October 20, 2015 in APB E005 Download
Lecture Procedural Interpretation DS4, October 26, 2015 in APB E005 Download
Lecture Declarative Interpretation I/II DS4, November 2, 2015 in APB E005 Download
Exercise Tutorial 2 DS1, November 3, 2015 in APB E005 Download
Lecture Declarative Interpretation II/II DS4, November 16, 2015 in APB E005
Lecture Pure PROLOG DS4, November 23, 2015 in APB E005 Download
Exercise Tutorial 3 DS1, November 24, 2015 in APB E005 Download
Lecture Negation: Procedural Interpretation DS4, November 30, 2015 in APB E005 Download
Lecture Negation: Declarative Interpretation DS4, December 7, 2015 in APB E005 Download
Exercise Tutorial 4 DS1, December 8, 2015 in APB E005 Download
Lecture Program Termination DS4, December 14, 2015 in APB E005 Download
Exercise Tutorial 4 (continued) DS1, December 15, 2015 in APB E005
Lecture Program Termination ctd. DS4, January 4, 2016 in APB E005
Lecture Introduction to ASP DS4, January 11, 2016 in APB E005 Download
Exercise Tutorial 5 DS3, January 12, 2016 in APB E005 Download Download
Lecture Stable Model Semantics DS4, January 18, 2016 in APB E005 Download
Lecture Solving 1/2 DS4, January 25, 2016 in APB E005 Download
Exercise Tutorial 6 DS1, January 26, 2016 in APB E005 Download
Lecture Solving 2/2 DS4, February 1, 2016 in APB E005


Calendar