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", https://www.youtube.com/channel/UCfWpIHmy5MEx2p9c_GJrE_g

    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.