We introduce Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. Our proof-of-concept Natlog implementation is tightly embedded in the Python-based deep-learning ecosystem with focus on content-driven indexing of ground term datasets. As an overriding of our symbolic indexing algorithm, the same function can be delegated to a neural network, serving ground facts to Natlog's resolution engine. Our open-source implementation is available as a Python package at https://pypi.org/project/natlog/ .

中文翻译：

---

Natlog：具有神经符号触感的轻量级逻辑编程语言

我们介绍 Natlog，一种轻量级逻辑编程语言，共享 Prolog 的统一驱动执行模型，但具有简化的语法和语义。我们的概念验证 Natlog 实现紧密嵌入基于 Python 的深度学习生态系统，重点是内容驱动的地面术语数据集索引。作为我们符号索引算法的覆盖，可以将相同的功能委托给神经网络，为 Natlog 的解析引擎提供基本事实。我们的开源实现可在 https://pypi.org/project/natlog/ 上以 Python 包的形式提供。