Course of Prolog
Syntax and Terms
Substitutions and Unification
Lists
Lists - advanced
Knowledge Representation
Meta Programming
