ProRAC: A Neuro-symbolic Method for Reasoning about Actions with LLM-based Progression