Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming

Julián Méndez, Lukas Gerlach, Tobias Wieland +3

Nemo Explain Visualizer (nev) is an interactive visual query tracer and builder for Nemo, a powerful Datalog reasoner with extended features. Our tools were developed with and for…