Use Prolog to improve LLM's reasoning | Heykuki News