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 2014

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 Wednesday, 15th October 2014, 11:10-12:40 (DS 3) in room APB E005. The lecture is scheduled for Wednesday, 11:10-12:40 (DS 3) in room APB E005. The tutorial will be held biweekly on Monday, 13:00-14:30 (DS4) in room APB E005.

Please check the particular dates of lecutres 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)

Vorlesung Introduction DS3, 15. October 2014 in APB E005 Download
Vorlesung Unification DS3, 29. October 2014 in APB E005 Download
Übung Tutorial 1 DS4, 3. November 2014 in APB E005 Download
Vorlesung Procedural Interpretation DS3, 5. November 2014 in APB E005 Download
Vorlesung Declarative Interpretation DS3, 12. November 2014 in APB E005 Download
Übung Tutorial 2 DS4, 17. November 2014 in APB E005 Download
Vorlesung Pure PROLOG DS3, 26. November 2014 in APB E005 Download
Vorlesung Negation: Procedural Interpretation DS3, 3. December 2014 in APB E005 Download
Übung Tutorial 3 DS4, 8. December 2014 in APB E005 Download
Vorlesung Negation: Declarative Interpretation DS3, 10. December 2014 in APB E005 Download
Vorlesung Program Termination DS3, 17. December 2014 in APB E005 Download
Übung Tutorial 4 DS4, 5. January 2015 in APB E005 Download
Vorlesung Introduction to ASP DS3, 7. January 2015 in APB E005 Download
Vorlesung Stable Model Semantics DS3, 14. January 2015 in APB E005 Download
Übung Tutorial 5 DS4, 19. January 2015 in APB E005 Download Download
Vorlesung Solving Part I DS3, 21. January 2015 in APB E005 Download
Vorlesung Solving Part II DS3, 28. January 2015 in APB E005
Übung Tutorial 6 DS4, 2. February 2015 in APB E005 Download
Vorlesung Q&A Session DS3, 4. February 2015 in APB E005 Download


Calendar