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.

翻译：本系统演示介绍了Nemo，一种注重可靠性与性能的新型逻辑编程引擎。Nemo专为数据驱动的分析计算设计，采用完全声明式的Datalog方言建模。其在相关任务上的可扩展性可媲美甚至超越主流Datalog系统。我们展示了在知识图谱与本体推理中的应用场景，处理规模涵盖10^5至10^8条输入事实，且全部在笔记本电脑上完成。Nemo使用Rust语言编写，并以自由开源工具的形式提供。