A Dynamic Programming Algorithm for Inference in Recursive Probabilistic Programs