Boolean Matrix Logic Programming on the GPU

Lun Ai

Traditional logic programming relies on symbolic computation on the CPU, which can limit performance for large-scale inference tasks. Recent advances in GPU hardware enable high-th…