Practical Course for Rule-Based Systems
10/11/2017In 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.
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.
