Programming in Prolog

Prof. Dr. Luc De Raedt

Mitwirkung : Dr. Stefan Kramer

Kompaktkurs, 1st week before the beginning of the semester

The ourse will provide a thorough introduction to the programming language Prolog (Programming in Logic). Prolog is probably the most popular language for programming artificial intelligence applications. Prolog is based on first order logic. Hence, programming simply takes the form of declaring axioms in first order logic. Executing Prolog programs is then based on theorem proving. 
The course will introduce the basic concepts of Prolog and will use example programs from all areas of artificial intelligence, including: machine learning, natural language processing, planning, theorem proving, etc.

After following this course, students should be able to program their own applications in Prolog. 

The course will largely be based on the book: Flach, P. Simply Logical, Wiley, 1994. 

The course will be partly taught in English but students can ask questions in German.