Nemo Explain Visualizer (nev)¶
Product or Programme · All products and programmes
Evidence · 4 claims (4 for) · 1 study (1 qualitative),q2· 0 of 1 report an effect size · 4 claims rest on one study
Description¶
Nemo Explain Visualizer is a free, open-source web-based visual explanation and debugging tool developed for the Nemo Datalog reasoner, with interactive trace, tree, and fact-table views.
Components¶
Claims¶
- The with/without-tools difficulty gap narrowed as graph size grew, which the authors read as a positive indication of scalability [+W]
- UEQ-S user-experience ratings were positive across tasks except one hedonic item on Task 1, with pragmatic qualities rated higher than hedonic [+W]
- A qualitative study with 14 students found very positive perceived task-difficulty and user-experience assessments for the Nemo+nev environment [+W]
- Perceived task difficulty with the tools was rated much easier than imagined difficulty without them, with gaps of at least 2.5 SEQ points on every task [+W]
Related Products and Programmes¶
-
Key Sources¶
- Julián Méndez, Lukas Gerlach, Tobias Wieland, Alex Ivliev, Markus Krötzsch, Raimund Dachselt. (2026). Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming. arXiv preprint. https://arxiv.org/abs/2607.18864
Page metadata
| Field | Value |
|---|---|
type |
product |
id |
nemo-explain-visualizer-nev |
title |
Nemo Explain Visualizer (nev) |
description |
Nemo Explain Visualizer is a free, open-source web-based visual explanation and debugging tool developed for the Nemo Datalog reasoner, with interactive trace, tree, and fact-table views. |
status |
review |
product_kind |
software |
generated |
by process:settle-candidates on 2026-10-12 |
trust |
unverified — no one has confirmed this page's content |
Frontmatter is the page's machine-readable record — see the Schema & Guide.