# Nemo: First Glimpse of a New Rule Engine

arXiv: https://arxiv.org/abs/2308.15897 · HTML: https://mlsanity.com/paper/2308.15897/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 3 of its 13 references that are in the map.
- First posted on arXiv 30 Aug 2023.

## Builds on (most cited first, 3 of 3)

- [The Vadalog System: Datalog-based Reasoning for Knowledge Graphs](https://mlsanity.com/paper/1807.08709/) (2018)
- [Fifty Years of Prolog and Beyond](https://mlsanity.com/paper/2201.10816/) (2022)
- [Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report)](https://mlsanity.com/paper/1511.08915/) (2015)

## Built on by (most cited first, 1 of 1)

- [Recovering Explanations from Transformed Rule-Based Ontologies](https://mlsanity.com/paper/2608.06399/) (2026)

## Abstract (arXiv)

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.