Nemo: First Glimpse of a New Rule Engine

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Contributors

Abstract

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 105 − 108 input facts, all on a laptop. Nemo is written in Rust and available as a free and open source tool.

Details

Original languageEnglish
Title of host publicationProceedings 39th International Conference on Logic Programming
EditorsEnrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
Pages333-335
Number of pages3
Publication statusPublished - 12 Sept 2023
Peer-reviewedYes

Publication series

SeriesElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume385
ISSN2075-2180

Conference

Title39th International Conference on Logic Programming, ICLP 2023
Duration9 - 15 July 2023
CityLondon
CountryUnited Kingdom

External IDs

ORCID /0000-0002-1604-6308/work/159608055

Keywords

ASJC Scopus subject areas