Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch
Paul Tarau (University of North Texas)

TL;DR
Natlog is a lightweight logic programming language that integrates symbolic reasoning with neural network-based content indexing, enabling seamless hybrid neuro-symbolic applications within the Python ecosystem.
Contribution
It introduces a simplified logic programming language with a neural network-compatible indexing mechanism, bridging symbolic and neural approaches.
Findings
Embedded in Python for easy integration
Supports neural delegation of indexing functions
Open-source and accessible as a Python package
Abstract
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/ .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNatural Language Processing Techniques · Topic Modeling · Time Series Analysis and Forecasting
