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)
| Lecture | Introduction | DS3, October 15, 2014 in APB E005 | File |
| Lecture | Unification | DS3, October 29, 2014 in APB E005 | File |
| Exercise | Tutorial 1 | DS4, November 3, 2014 in APB E005 | File |
| Lecture | Procedural Interpretation | DS3, November 5, 2014 in APB E005 | File |
| Lecture | Declarative Interpretation | DS3, November 12, 2014 in APB E005 | File |
| Exercise | Tutorial 2 | DS4, November 17, 2014 in APB E005 | File |
| Lecture | Pure PROLOG | DS3, November 26, 2014 in APB E005 | File |
| Lecture | Negation: Procedural Interpretation | DS3, December 3, 2014 in APB E005 | File |
| Exercise | Tutorial 3 | DS4, December 8, 2014 in APB E005 | File |
| Lecture | Negation: Declarative Interpretation | DS3, December 10, 2014 in APB E005 | File |
| Lecture | Program Termination | DS3, December 17, 2014 in APB E005 | File |
| Exercise | Tutorial 4 | DS4, January 5, 2015 in APB E005 | File |
| Lecture | Introduction to ASP | DS3, January 7, 2015 in APB E005 | File |
| Lecture | Stable Model Semantics | DS3, January 14, 2015 in APB E005 | File |
| Exercise | Tutorial 5 | DS4, January 19, 2015 in APB E005 | File 1, File 2 |
| Lecture | Solving Part I | DS3, January 21, 2015 in APB E005 | File |
| Lecture | Solving Part II | DS3, January 28, 2015 in APB E005 | |
| Exercise | Tutorial 6 | DS4, February 2, 2015 in APB E005 | File |
| Lecture | Q&A Session | DS3, February 4, 2015 in APB E005 | File |
Calendar
