XLOG：面向神经符号集成的 CUDA 原生逻辑编程引擎

论文提出了用于神经符号集成的 CUDA 原生逻辑编程引擎 xlog。该引擎通过类型化前端与 CUDA 运行时，将神经感知与确定性 Datalog、概率推理及认知世界观相结合。各推理模式共享 GPU 设备数据平面，其中常驻递归与蒙特卡洛采样核心在特定推理阶段实现了零主机-设备数据传输开销。此外，其概率推理路径支持通过 GPU 知识编译完成端到端梯度计算，显著提升了神经符号推理的硬件执行效率。

原标题：XLOG: A CUDA-Native Engine for Neurosymbolic Integration