Deutsch Intern
Chair of Computer Science I - Algorithms and Complexity

Paper accepted for WFLP'17


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.