Use Prolog to improve LLM's reasoning