return to table of content
Use Prolog to improve LLM's reasoning