Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution