Nemo: First Glimpse of a New Rule Engine
This provides a new tool for researchers and practitioners in data analytics and knowledge representation, though it appears incremental as it builds on existing Datalog systems with a focus on reliability and performance.
The authors tackled the challenge of creating a reliable and high-performance logic programming engine for data-centric analytic computations, achieving scalability that matches or exceeds leading Datalog systems, as demonstrated with knowledge graphs and ontologies handling 10^5 to 10^8 input facts on a laptop.
This system demonstration presents Nemo, 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. We demonstrate uses in reasoning with knowledge graphs and ontologies with 10^5 to 10^8 input facts, all on a laptop. Nemo is written in Rust and available as a free and open source tool.