Thought-Like-Pro: Enhancing Reasoning of Large Language Models through Self-Bootstrapped Prolog-based Chain-of-Thought
THOUGHT-LIKE-PRO enhances Large Language Model reasoning by imitating verified Prolog logic engine processes. The framework allows LLMs to self-generate rules and facts, use Prolog to find logical paths, and then translate these paths into natural language Chain-of-Thought (CoT) examples. This method significantly improves the model's ability to reason logically and generalize well on new tasks.