Datalog as a (non-logic) Programming Language - Pacak, André (Verfasser) (Johannes Gutenberg-Universität Mainz, 2024)