Nemo is a new logic programming engine with a focus on reliability and performance. Nemo is built for data-centric analytic computations, modelled in a fully declarative Datalog dialect. Its scalability for these tasks matches or exceeds that of leading Datalog systems. It provides a feature-rich rule language, which extends Datalog with many useful features like existential rules, arithmetic operations, and aggregates. Nemo provides bindings to other programming languages, and is accessible as a browser-based application from the web. Nemo is available as open-source project on Github.
Nemo is primarily used as a command-line tool. As it is written in Rust, it is easy to compile it from source for all common platforms, including Linux, Windows, and MacOS. Furthermore, pre-compiled binaries for Windows and Linux are provided. Both, the source-code and the current releases, can be accessed from the Github page:https://github.com/knowsys/nemo
Nemo can also be accessed through bindings to other programming languages like Python and JavaScript (via Web-Assembly). In addition, the tool is available a browser-based web application:https://tools.iccl.inf.tu-dresden.de/nemo/