Intermediate Representation types for Datalog query plans
Relational intermediate representation for XLOG query plans
Interpreter and JIT for Ascent Datalog programs
Command-line interface for deterministic and probabilistic XLOG execution
Core types, traits, and error surfaces shared across XLOG
CUDA kernel provider, buffers, and interop for XLOG
High-level Rust API for running XLOG programs on NVIDIA GPUs
Parser, compiler, and optimizer for XLOG logic programs
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