Enthält viele Unterrichtsmaterialien zur theoretischen Informatik, die mit aber auch ohne Prolog-Kenntnisse genutzt werden können.