Description
The lecture introduces the concepts of logic programming. We will study the programming paradigma of logic programming and relate it to known programming paradigms as for example object-oriented programming and functional programming.
Furthermore, we will cover the programming language Prolog, such that techniques of pure Prolog are studied, as well as more advanced concepts like metaprogramming or definite clause grammars.
Literature
Leon Sterling and Ehud Shapiro
The Art of Prolog (second edition)
MIT Press, 1994, ISBN 0-262-19338-8
Patrick Blackburn, Johan Bos and Kristina Striegnitz
Learn
Prolog Now!
Texts in Computing 7, College Publications, 2006, ISBN 1-904987-17-6
William F. Clocksin and Christopher S. Mellish
Programming in Prolog
(fifth edition)
Springer Verlag, 2003, ISBN 978-3-540-00678-7
Frühwirth, Thom
Essentials of Constraint Programming
Springer; Auflage: 2003 (27. Februar 2003),
ISBN-13: 978-3540676232
Martin Gebser et al.
Answer Set Solving in Practice
Morgan & Claypool Publishers (19. Dezember 2012),
ISBN-13: 978-1608459711