Scaling rational AI using neuro-symbolic probabilistic programs