Deutsch Intern
Chair of Computer Science I - Algorithms and Complexity

Practical Course for Rule-Based Systems


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

Logo of "Playing with Prolog",

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:

  • Alexa, talk Prolog to me!
  • OpenRuleBench Revised
  • XPCE Compatibility for SWISH
  • Distributed Logic Programming on Raspberry Pi's
  • XPath and XQuery in SWI-Prolog
  • Benchmarking CHR Systems
  • Remember your Faults - An Extension to Prolog's Tabling
  • Testing different Prolog Systems using JPGateway
  • Prolog Saved States for Process Duplication
  • Optimising Definite Clause Grammars
  • Prolog Interpreter for JavaScript
  • Interactive SLD Tree Exploration with Leaflet
  • Bisecting Debugger for SWI-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 19th October.