Description
The lecture introduces the concepts of inductive logic programming. First 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. Here we will also provide a lightweight introduction to logic so that the course doesn't require any prerequisites.
Second we will cover advanced features in logic programming, such that techniques of pure Prolog are studied, as well as more advanced concepts like definite clause grammars or constraint logic programming.
Third, we will study inductive logic programming and the connection of logic programming to machine learning and program synthesis
Literature
Leon Sterling and Ehud Shapiro
The Art of Prolog (second edition)
MIT Press, 1994, ISBN 0-262-19338-8
Frühwirth, Thom
Essentials of Constraint Programming
Springer; Auflage: 2003 (27. Februar 2003),
ISBN-13: 978-3540676232
to be completed