Efficient Robust Predictive Programming