Tag
XLOG is a CUDA-native logic programming engine designed for neurosymbolic integration, combining neural perception with symbolic reasoning through a shared typed frontend and CUDA runtime, achieving significant performance improvements in training and inference.