en | de

Logic Programming

bachelor program

VO2 + PS1  SS 2012  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