nev is a web-based visualization tool for interactive tree-based querying and inspection of datalog reasoning traces computed by Nemo.
You can access nev at the live version of Nemo that you can try in your browser. NOTE: this site is unstable for now!
It uses the Broadcast Channel API to communicate across browser tabs with Nemo.
To use it, compute the results, then click the magnifying glass on any computed fact to open nev in a new browser tab. From there, you can inspect the trace of the computation of the selected fact, or edit the query by modying the tree structure.
We provide a Dockerfile that fetches nemo, nemo-web, and nemo's language server (.vsix) from the respective repositories, then builds them along nev as static files, to ultimately serve them on a simple nginx web server.
To use it, install Docker and Node.js. With Docker's daemon running, you can run: npm ci and npm run docker. You can then access nemo and nev at localhost:8000/nemo/
Alternatively, you can follow along nemo's local installation instructions, then move the static files to the root of this repository and use npm ciand npm run dev to develop locally.
The user guide is currently under construction!
Feel free to use GitHub discussions to ask questions or talk about nev. Bug reports are also very welcome.
This project is licensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or https://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or https://opensource.org/licenses/MIT)
at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in nev by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
nev is developed by the Interactive Media Lab Dresden in collaboration with the Knowledge-Based Systems group, both at TU Dresden. Its user interface design is inspired by pev2. Check out the contributors to nev and nemo.
Made with ❤️ in Dresden.