Solving P99 in LLM-enhanced LPTP development

• Install Gnu-Prolog
• Install LPTP locally and compile it with Gnu-Prolog
• Read chapter 1 of the user manual
• Install SWI-Prolog
• Download this repository LPTP-LLM-P99and decompress it
• Update the file CLAUDE.md wrt your installation
• Update the file lptp-reference.md wrt your installation
• Point Claude to your local copy of LPTP-LLM-P99-main
• Ask Claude Code to read CLAUDE.md and lptp-reference.md
• Ask Claude Code to solve the second exercise of P-99 Prolog problems
• Evaluate the output and if necessary interact with Claude Code to improve the solution
• Iterate for the remaining P99 exercises