Arithmetic Reasoning with LLM: Prolog Generation & Permutation [Paper] [Code][NAACL 2024] Xiaocheng Yang, Bingsen Chen, Yik-Cheng Tam