Fast Inference for Probabilistic Answer Set Programs via the Residual Program