Deutsch Intern
Chair of Computer Science I - Algorithms and Complexity

Practical Course for Databases and Rule-Based Systems


In the upcoming Winter Term 2016/17, Professor Seipel's research group offers a Master's Practical Course to connect current research topics in the field of Databases and Logic Programming with other, modern technologies.

By Jürgen Götzke, CC BY-SA 2.5-2.0-1.0 (http://creativecommons.org/licenses/by-sa/2.5-2.0-1.0), via Wikimedia Commons

The non-graded Practical Course takes place in six months and is compulsory in the Master's study (module 10-I=PRAK, 10 ECTS, 6 SWS). All of the suggested topics contain a part with Prolog. But because of their connection with other technologies and programming languages they are suitable for students with different prior knowledge. Possible topics are:

  • Reasoning about Wagon Positions (Cooperation with DB Reisendeninformation)
  • Continuous Integration for Prolog Programs
  • A Style Linter for Prolog
  • An Interactive Visualisation for Definite Clause Grammars
  • Optimising Definite Clause Grammars
  • Prolog Connector for Python or JavaScript
  • Prolog Interpreter for JavaScript
  • Integrating Bloom into Prolog or JavaScript
  • Declarative XML Schema 1.1 Validation with Prolog

Most of the topics can also be worked on as a project, Bachelor's or Master's Thesis. Short descriptions of the topics can be found in this overview and in the appropriate WueCampus E-Learning course. A first meeting is on 27th October.