Julián Méndez, Lukas Gerlach, Tobias Wieland, Alex Ivliev, et al. (2026) — arXiv preprint. arXiv:2607.18864 [cs.HC]. 📄 Full text (arXiv)
Nemo Explain Visualizer (nev) is an interactive visual query tracer and builder for the Datalog reasoner Nemo. Although built for expert users, the authors conducted a qualitative study with 14 participants at varying levels of involvement in a university knowledge-graph course to assess whether such tools help students learn declarative logic programming.
Participants rated the tracer positively for building intuition about query evaluation, illustrating how visualisation can act as scaffolding for otherwise abstract material. The findings sit within programming-its and cs-education research on tools that make invisible computation visible, and connect to stem-education efforts to teach formal methods. They also bear on pedagogy-ai-mistakes discussions about when automation helps versus hinders conceptual understanding in higher-ed computing courses.
Related Pages
- programming-its — related AIED work
- cs-education — related AIED work
- scaffolding — related AIED work
- stem-education — related AIED work
- higher-ed — related AIED work