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
Additional Material
- a small converter from
TPDB format to
DFG syntax:
trs2dfg.pl trs2dfg.sh