XLOG is a GPU-native logic programming language for unified symbolic reasoning. GPU-accelerated Datalog engine with probabilistic inference, inductive logic programmimg, and neural-symbolic integration.
rust cuda pytorch datalog probabilistic-programming logic-programming gpu-computing sat-solver gpu-accelerated neurosymbolic-ai neural-symbolic-ai
-
Updated
Sep 1, 2026 - Rust