Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch
Description:
Article that introduces Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. The authors' 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 the authors symbolic indexing algorithm, the same function can be delegated to a neural network, serving ground facts to Natlog's…
more
Date:
September 17, 2021
Creator:
Tarau, Paul
Item Type:
Refine your search to only
Article
Partner:
UNT College of Engineering