7/20/2026
•
EN
Solving a chess puzzle with Grok 4.5
Testing Grok 4.5's ability to generate Prolog and Lean code for a chess puzzle variation of the n-queens problem.