Paper accepted for WFLP'1708/04/2017
A paper from authors of our institute has been accepted for the International Workshop on Functional and Logic Programming (WFLP).
The system description "Declarative XML Schema Validation with SWI-Prolog" of Falco Nogatz, Jona Kalkus, and Dietmar Seipel has its origin in the practical course "Databases and rule-based systems" of the previous winter term. There, a compact XML validator has been implemented (Open Source on GitHub). The work gets presented in September at WFLP as part of the conference Declare'17 in Würzburg.