en | de

Logic Programming

bachelor program

VO2 + PS1  WS 2016/2017  703113 + 703114

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

Source Code