Standard conformant elf parser
Parser, compiler, and optimizer for XLOG logic programs
Core types, traits, and error surfaces shared across XLOG
Relational intermediate representation for XLOG query plans
Command-line interface for deterministic and probabilistic XLOG execution
CUDA kernel provider, buffers, and interop for XLOG
High-level Rust API for running XLOG programs on NVIDIA GPUs
Probabilistic inference engines for XLOG
Runtime executor and relation store for XLOG
Solver services used by XLOG exact inference and verification layers
Runtime statistics and optimizer feedback utilities for XLOG