mlsanityData to 14 Oct 2026

Nemo: First Glimpse of a New Rule Engine

arXiv 2308.15897 ↗First posted 30 Aug 2023cs.AI cs.DB cs.LOcited by 1

Not on the map. Why?

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.

Key facts. Cited by 1 paper 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

3 of 13 references.

References · 3

  1. 2018The Vadalog System: Datalog-based Reasoning for Knowledge Graphscited by 25
  2. 2022Fifty Years of Prolog and Beyondcited by 15
  3. 2015Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report)cited by 8

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 1.

1 paper.

  1. 2026Recovering Explanations from Transformed Rule-Based Ontologiescited by 0