Arithmetic Reasoning with LLM: Prolog Generation & Permutation