Minimal Tensor Logic AI engine in PyTorch – Datalog reasoning as tensor operations (einsum) and neural networks in one framework.
python machine-learning deep-learning pytorch datalog logic-programming tensor-algebra differentiable-programming probabilistic-logic-programming einsum paper-implementation neuro-symbolic neurosymbolic probabilistic-logic neuro-symbolic-ai research-code tensor-logic tensor-logic-ai datalog-reasoning
-
Updated
Dec 3, 2025 - Python