Logical Prediction